Update kernel.tex
Merge pull request #72 from dfirsov/patch-10

Update kernel.tex