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