add user-level mutex - this mutex is used by libstd - support of priority inheritance to avoid priority inversion