* kernel/Kernel.tex.nw: remove dead fields found by codequery