Re: [U-Boot] [PATCH v2 35/47] x86: Support building the EFI stub