uxCriticalNesting has incorrect count in PortExitCritical, in 2 different threads

Did you ever resolve this? I am having a similar issue, see uxCriticalNesting has incorrect count in PortExitCritical called from xQueueGenericSend.