fixed kernel_restart.