use mutex instead of semaphore in TPM driver