Alternate declaration of mbedtls mutex type.
The RTOS may require allocation and freeing of resources as the inner type of the mutex is represented by an RTOS-friendly void pointer.