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