IB/mthca: Semaphore to mutex conversions