|
@@ -85,9 +85,10 @@ int efi_enabled(int facility)
|
|
|
}
|
|
|
EXPORT_SYMBOL(efi_enabled);
|
|
|
|
|
|
+static bool disable_runtime = false;
|
|
|
static int __init setup_noefi(char *arg)
|
|
|
{
|
|
|
- clear_bit(EFI_RUNTIME_SERVICES, &x86_efi_facility);
|
|
|
+ disable_runtime = true;
|
|
|
return 0;
|
|
|
}
|
|
|
early_param("noefi", setup_noefi);
|
|
@@ -734,7 +735,7 @@ void __init efi_init(void)
|
|
|
if (!efi_is_native())
|
|
|
pr_info("No EFI runtime due to 32/64-bit mismatch with kernel\n");
|
|
|
else {
|
|
|
- if (efi_runtime_init())
|
|
|
+ if (disable_runtime || efi_runtime_init())
|
|
|
return;
|
|
|
set_bit(EFI_RUNTIME_SERVICES, &x86_efi_facility);
|
|
|
}
|