ref: dff96a53ee06b538a12d00daf6e7e21a07fa40d7 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot