Update kernel.txt