efi_loader: do not unnecessarily use EFI_CALL()