Stm32f4 nucleo

It turns out that as supplied, the Nucleo board doesn't provide the MCU with an external clock so these commits add an "internal" clock frequency attribute that you can use in the board configuration file to specify that the internal clock is to be used and what its frequency is.

Also, the number of wait states required when accessing the flash memory is optimised to match the system clock rate.