freertos c6x fixes