FreeRTOS: Counting Semaphore initial value not traced

[schilkp]

Semaphore tracing relies on queue tracing, which does not catch the initial count because it is set directly when creating a semaphore, not through the queue-send API as is done for mutexes

[schilkp]

Binary semaphore is also fine - also relies on queue send.