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