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