Delete kernel.c~