XML: Add STM32F4XX define required by FreeRTOS.