In what manner do you reboot the device? Do you bring up the terminal and type reboot like you do on a standard linux machine?