STM32F4 code to use the SDIO peripheral, uses libopencm3 for the basic stuff, adds SDIO supported stuff.