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