diff --git a/debian/changelog b/debian/changelog
index 0b77b25aa..db9414163 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,8 @@ linux (4.14-1~exp1) UNRELEASED; urgency=medium
 
   [ Ben Hutchings ]
   * debian/control: Set Rules-Requires-Root to no
+  * [armhf] drm: Enable DRM_SUN4I, DRM_SUN4I_HDMI, DRM_SUN4I_BACKEND,
+    DRM_SUN8I_MIXER as modules; and DRM_SUN4I_HDMI_CEC (Closes: #881570)
 
   [ Bastian Blank ]
   * Enable CRYPTO_SHA3.
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index 1717e5535..fe133fdcf 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -342,6 +342,15 @@ CONFIG_ROCKCHIP_ANALOGIX_DP=y
 CONFIG_ROCKCHIP_DW_HDMI=y
 CONFIG_ROCKCHIP_DW_MIPI_DSI=y
 
+##
+## file: drivers/gpu/drm/sun4i/Kconfig
+##
+CONFIG_DRM_SUN4I=m
+CONFIG_DRM_SUN4I_HDMI=m
+CONFIG_DRM_SUN4I_HDMI_CEC=y
+CONFIG_DRM_SUN4I_BACKEND=m
+CONFIG_DRM_SUN8I_MIXER=m
+
 ##
 ## file: drivers/gpu/drm/tegra/Kconfig
 ##