* kernel/core/portdat.h: more cleaning