* kernel/Kernel.tex.nw: misc
* kernel/Kernel.tex.nw: reorg TOC
* kernel/Kernel.tex.nw: misc