sdhci: Secure Digital Host Controller Interface driver, 0.11
sdhci: Copyright(c) Pierre Ossman
mmc0: SDHCI at 0xde005800 irq 185 DMA