Merge "pthread_mutex_destroy is called multiple times with the same mutex" into sc-v2-dev