x86: use reboot_type on EFI 32
Huang, Ying [Wed, 30 Jan 2008 12:34:10 +0000 (13:34 +0100)]
This patch makes reboot_type of BOOT_EFI is used on i386 too. Because
correpsonding reboot code of i386 and x86_64 is merged.

Signed-off-by: Huang Ying <ying.huang@intel.com>

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>

arch/x86/kernel/efi.c

index a70fe77..174b067 100644 (file)
@@ -371,11 +371,9 @@ void __init efi_init(void)
                printk(KERN_WARNING "Kernel-defined memdesc"
                       "doesn't match the one from EFI!\n");
 
-#ifdef CONFIG_X86_64
        /* Setup for EFI runtime service */
        reboot_type = BOOT_EFI;
 
-#endif
 #if EFI_DEBUG
        print_efi_memmap();
 #endif