Add board configuration, dts and pinmux based on the stm32f4_disco board. Signed-off-by: Neil Armstrong <narmstrong@baylibre.com>