kernel/sys.c: call disable_nonboot_cpus() in kernel_restart()