Update kernel_check.c