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