* kernel/core/portdat_globals.h: delete