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