* kernel/processes/portdat_processes.h: remove dead field
misc