fix build with tripndroid settings
define reboot options