* kernel/Kernel_extra.tex.nw: CE on pg -> pte
* kernel/Kernel.tex.nw: comment