use custom reboot.c for device with bootmenu (NOT READY)