Delete kernel.txt