Re: [U-Boot] [PATCH v2 48/63] x86: Don't build 32-bit efi files on x86_64