* kernel/Kernel.tex.nw: better understand sysexec, commented, lp split, boolify