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