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