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