Instead of using differing integer types use kernel_pid_t for process identifier. This type is introduced in a new header file to avoid circular dependencies.
.. but only if there are other authors as well
Needed for pnet