BOOT_EFI          426 arch/x86/kernel/efi.c 	reboot_type = BOOT_EFI;
BOOT_EFI          403 arch/x86/kernel/reboot.c 		case BOOT_EFI: