os161 / userland / sbin / reboot