pthread_mutex_setprioceiling: fixed bug where returned priority was
not converted from core priority to posix priority.