Rename kernel.c to kernel3.c