Delete Kernel repository