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