diff --git a/debian/changelog b/debian/changelog
index 15e7d200f..1a1598867 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,9 @@ linux (3.16-1~exp2) UNRELEASED; urgency=medium
   [ Ben Hutchings ]
   * HID: Enable HID_RMI as module (Closes: #754519)
 
+  [ Vagrant Cascadian ]
+  * [armmp] Enable IMX_IPUV3_CORE (closes: #756810).
+
  -- Ben Hutchings <ben@decadent.org.uk>  Tue, 12 Aug 2014 02:58:45 +0100
 
 linux (3.16-1~exp1) experimental; urgency=medium
diff --git a/debian/config/armhf/config.armmp b/debian/config/armhf/config.armmp
index 2e9343e1e..8c2ce847c 100644
--- a/debian/config/armhf/config.armmp
+++ b/debian/config/armhf/config.armmp
@@ -190,6 +190,11 @@ CONFIG_DRM_I2C_NXP_TDA998X=m
 ##
 CONFIG_DRM_TILCDC=m
 
+##
+## file: drivers/gpu/ipu-v3/Kconfig
+##
+CONFIG_IMX_IPUV3_CORE=m
+
 ##
 ## file: drivers/hwspinlock/Kconfig
 ##