STM32F4 Discovery platform additions/fixes