Re: [U-Boot] [PATCH v3 47/62] x86: Don't build 32-bit efi files on x86_64