Re: [U-Boot] [PATCH v3 15/28] x86: Support building the EFI stub