removed the kernel from the repo