move from dat_xxx.h to portdat_xxx.h when used in port
* kernel/core/portfns.h: distribute more
* kernel/processes/386/main_processes.c: mv stuff there
* kernel/core/portfns.h: distributed everything!
* kernel/network/portfns_network.h: