Another minor optimization of x86-64 pthread_cond_wait.