initialize kernel_pid_t correctly
make kernel_pid_t comparisons consistent