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