diff --git a/debian/changelog b/debian/changelog
index 731dc88a0..e7971b012 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,9 @@ linux (4.13.3-1~exp1) UNRELEASED; urgency=medium
   * New upstream stable update:
     https://www.kernel.org/pub/linux/kernel/v4.x/ChangeLog-4.13.3
 
+  [ Ben Hutchings ]
+  * [armhf,arm64] mmc: Enable MMC_BCM2835 (Closes: #845422)
+
  -- Ben Hutchings <ben@decadent.org.uk>  Thu, 21 Sep 2017 23:49:55 +0100
 
 linux (4.13.2-1~exp1) experimental; urgency=medium
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index bf51d415d..6b762591c 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -358,6 +358,7 @@ CONFIG_MMC_DW=m
 CONFIG_MMC_DW_K3=m
 CONFIG_MMC_DW_ROCKCHIP=m
 CONFIG_MMC_SUNXI=m
+CONFIG_MMC_BCM2835=m
 CONFIG_MMC_SDHCI_XENON=m
 
 ##
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index df658d299..bec7c644f 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -617,6 +617,7 @@ CONFIG_MMC_DW_EXYNOS=m
 CONFIG_MMC_DW_ROCKCHIP=m
 CONFIG_MMC_WMT=m
 CONFIG_MMC_SUNXI=m
+CONFIG_MMC_BCM2835=m
 
 ##
 ## file: drivers/mtd/Kconfig