[U-Boot] [PATCH v3 12/28] x86: Add definitions for the x86-efi board and plumb it in