* kernel/Kernel.tex.nw: distribute XTODO and remove some not that useful fields