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