FreeRTOS build for STM32F10x