Stm32f4 nucleo

It turns out that the Nucleo board doesn't actually provide an external clock to the MCU so we must use the HSI clock instead of the HSE clock to drive the PLL.