[U-Boot] [PATCH v4 0/4] x86: use EFI calling convention for efi_main on x86_64