[PATCH] Fix data race in mark_rt_mutex_waiters