* kernel/init/portfns_init.h:
* kernel/core/portdat.h: distribute more
* kernel/init/portfns_init.h: fix compilation error