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