kernel.c check