USB: use mutex instead of semaphore in the Adutux driver