* kernel/Kernel_extra.tex.nw: moving around
* kernel/core/386/dat_core.h: syncweb