* kernel/Kernel_extra.tex.nw: cleanup
* lib_core/libc/9syscall/pad.txt: misc
* kernel/Kernel.tex.nw: comments