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