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