original_kernel/include/linux/reboot_fixups.h