STM32: Proper semaphore destruction in NuttX driver