Provide a way to reboot the device
Now that rebooting works, it would be useful to have some means of rebooting the device from the shell. At the moment I press the power-down button in the shell then when the device is off, pull the battery and reinsert it.