* kernel/memory/portdat_memory.h: dead code semalock
* kernel/concurrency/qlock.c: comments
* kernel/Kernel_extra.tex.nw: misc