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