* kernel/Kernel.tex.nw: better xalloc section, sysawaiy, sysexits
syncweb