* kernel/processes/portdat_processes.h: typo