* kernel/Kernel.tex.nw: misc, userinit, newproc, tmpmap, segpage, etc