* kernel/Kernel.tex.nw: misc, reindent, LPize split, understand a few things