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