* kernel/core/portdat_core.h: clean
* kernel/concurrency/portdat_concurrency.h: comment
* kernel/concurrency/portfns_concurrency.h: