use mutex instead of semaphore in virtual console driver