Add support for STM32F4 Disco boards