* kernel/core/386/dat.h: nilptr
* kernel/Kernel.tex.nw: syncweb
* kernel/Kernel.tex.nw: use more kern_addr