Edit: reboot.h