Update kernel.tex