SD Card and eMMC support for Dell boards

[neuschaefer]

Two parts are required:

• [ ] A small SoC-specific driver for the SDHCI controller in WPCM450
• [ ] A generic mmc-mux driver to deal with multiplexed MMC cards