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