* kernel/Kernel.tex.nw:
* kernel/Kernel_extra.tex.nw: move around stuff
* pad.txt: notes
* kernel/pad.txt: notes
* kernel/Kernel.tex.nw: reorg pagination section
* kernel/Kernel.tex.nw: boolize, etc