update/restart kernel