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