|
@@ -1135,8 +1135,7 @@ void __init setup_arch(char **cmdline_p)
|
|
* mismatched firmware/kernel archtectures since there is no
|
|
* mismatched firmware/kernel archtectures since there is no
|
|
* support for runtime services.
|
|
* support for runtime services.
|
|
*/
|
|
*/
|
|
- if (efi_enabled(EFI_BOOT) &&
|
|
|
|
- IS_ENABLED(CONFIG_X86_64) != efi_enabled(EFI_64BIT)) {
|
|
|
|
|
|
+ if (efi_enabled(EFI_BOOT) && !efi_is_native()) {
|
|
pr_info("efi: Setup done, disabling due to 32/64-bit mismatch\n");
|
|
pr_info("efi: Setup done, disabling due to 32/64-bit mismatch\n");
|
|
efi_unmap_memmap();
|
|
efi_unmap_memmap();
|
|
}
|
|
}
|