recovery: add missing reboot.c