kernel/reboot.c: add orderly_reboot for graceful reboot