Minimal FreeRTOS setup on STM32F407VG (STM32F4 discovery)