* kernel/Kernel.tex.nw: PageOrSwap, reorg KImage, Imagelloc, better understand demand loading