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