Add the FatFs from Elm Chan.
Add the diskio module for the FatFs.
Add the SDIO driver for STM32F4.