towerprime-freertos: separate notions of counting semaphores & mutexes

- mutexes used to protect MsgQueues