* kernel/devices/sys/devsys.c: /sys/reboot