_POSIX_Condition_variables_Wait_support: added _POSIX_Mutex_From_core_mutex_status for the two calls to the mutex manager