Fix support for STM32F4DISCOVERY