fixed remaining variables to kernel_pid_t