Rename kernel.c to src/kernel.c