Why was there no kernel in the kernel folder?