pthread_getcpuclockid.c: fix clockid computation