Kernel source code checker