Re: [U-Boot] [PATCH v2 32/47] x86: Add definitions for the x86-efi board and plumb it in