Symbol: xenpf_efi_runtime_call