* kernel/Kernel.tex.nw: LPize proctrace, aspectize it