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