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