checkpoint of kernel