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