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