Delete kernel.c