Use the sdhci driver for Pandaboard.