* kernel/Kernel.tex.nw: syncweb
* kernel/Kernel_extra.tex.nw: misc
* kernel/memory/386/mmu.c: cleaner vmap code
* kernel/Kernel.tex.nw: cleveref
* kernel/Kernel.tex.nw: misc
* include/string.h: rename
CEs String.h -> string.h
* kernel/Kernel.tex.nw: get rid of ArchProcNotSave