It was far away from a detailed instruction. Sorry. ST have confirmed that this was a bug. Yes, it takes long time for them to fix the issue. Perhaps ST could pay you to write that little piece of code? You seems to know exactly how to do that in a c...
I never use FreeRTOS with STM32. It works good for small projects, but when the project requries large memory, then FreeRTOS don't want to run sometimes. It's like it is bussy with something else.