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