* kernel/Kernel.tex.nw: better understand procstopwait, and procctl