Create kernel_check.c