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