modificacion kernel.txt