Initial STM32F4Discovery board port