x86: add proper header for reboot_force