* kernel/Kernel.tex.nw: rename kernel process with a kxxx