diff --git a/debian/changelog b/debian/changelog
index 12b7656e3..3b0f4ce05 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -110,6 +110,9 @@ linux (4.19.17-1) UNRELEASED; urgency=medium
   * [x86] Enable Touchpad support on Gemini Lake via CONFIG_PINCTRL_GEMINILAKE
     (Closes: #917388)
 
+  [ Vagrant Cascadian ]
+  * [armhf] Enable CONFIG_MMC_SDHCI_OMAP=m, used on DRA7 and related SoCs.
+
  -- Luca Boccassi <bluca@debian.org>  Fri, 18 Jan 2019 19:09:06 +0000
 
 linux (4.19.16-1) unstable; urgency=medium
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index 530ccb143..fc871a11a 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -655,6 +655,7 @@ CONFIG_MMC_SDHCI_TEGRA=m
 CONFIG_MMC_SDHCI_S3C=m
 CONFIG_MMC_SDHCI_PXAV3=m
 CONFIG_MMC_SDHCI_IPROC=m
+CONFIG_MMC_SDHCI_OMAP=m
 CONFIG_MMC_MESON_MX_SDIO=m
 CONFIG_MMC_OMAP=m
 CONFIG_MMC_OMAP_HS=m