Basic support for developing with the STM32F4 Discovery board