remove the kernel repo