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