Rename kernel2.c to kernel.c