* kernel/core/portdat_core.h: dead fields
* kernel/Kernel.tex.nw: finish distribute XTOdo, also removed dead code