Re: [U-Boot] [RFC 1/1] efi_loader: fix building of helloworld.efi on x86_64