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