* kernel/Kernel.tex.nw: split walk, split locals sysexec