diff --git a/config-armv7-generic b/config-armv7-generic
index a51a85b..c564a5b 100644
--- a/config-armv7-generic
+++ b/config-armv7-generic
@@ -241,7 +241,8 @@ CONFIG_NVMEM_SUNXI_SID=m
 CONFIG_SERIAL_AMBA_PL011=y
 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
 CONFIG_DMA_BCM2835=m
-CONFIG_MMC_SDHCI_BCM2835=m
+CONFIG_MMC_SDHCI_IPROC=m
+# CONFIG_MMC_SDHCI_BCM2835 is not set
 CONFIG_BCM2835_MBOX=m
 CONFIG_PWM_BCM2835=m
 CONFIG_HW_RANDOM_BCM2835=m
diff --git a/kernel.spec b/kernel.spec
index 95a7186..66038e7 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -2154,6 +2154,9 @@ fi
 #
 # 
 %changelog
+* Sun Apr 10 2016 Peter Robinson <pbrobinson@fedoraproject.org>
+- Use the correct MMC driver for some ARM platforms
+
 * Fri Apr 08 2016 Justin M. Forbes <jforbes@fedoraproject.org> - 4.6.0-0.rc2.git4.1
 - Linux v4.6-rc2-151-g3c96888