BOOT_TRIPLE       669 arch/x86/kernel/reboot.c 			reboot_type = BOOT_TRIPLE;
BOOT_TRIPLE       672 arch/x86/kernel/reboot.c 		case BOOT_TRIPLE: