Update kernel.tex
Merge pull request #59 from dfirsov/patch-4

Update kernel.tex