* kernel/core/portdat.h: clean more