]> Pileus Git - ~andy/linux/blobdiff - arch/x86/kernel/setup.c
Merge branch 'x86-efi-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git...
[~andy/linux] / arch / x86 / kernel / setup.c
index 9c857f05cef0fccea2dab9769a865ff2f63c920b..e89acdf6b77b82b3ecfed04d4a3aa9aa5c6f8b63 100644 (file)
@@ -1196,8 +1196,7 @@ void __init setup_arch(char **cmdline_p)
         * mismatched firmware/kernel archtectures since there is no
         * 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");
                efi_unmap_memmap();
        }