* kernel/Kernel.tex.nw: better Segmentation section, better Initialization
section
syncweb