Moved kernel.c into src folder