Getting the STM32F4 discovery board working on Linux