x86: use EFI calling convention for efi_main on x86_64