Re: [U-Boot] [PATCH v3] x86: use EFI calling convention for efi_main on x86_64