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