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