* kernel/Kernel.tex.nw: simplified tmpmap, kmap, refactored a bit Vctl code,
lp split a few things in interrupt chapter
* kernel/memory/386/mmu.c: get rid of VPT, vpt, vpd!! and it still works!
vmapsync was subtle as only rio was then not working