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