- Fix FreeRTOS primitives