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