include/linux/sched.h: don't use task->pid/tgid in same_thread_group/has_group_leader_pid