diff --git a/debian/changelog b/debian/changelog
index 5c129c43f..a0ad1333f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -115,6 +115,7 @@ linux (3.14.4-1) UNRELEASED; urgency=medium
   * [powerpc,ppc64] Add versioned build-dependency on gcc-4.8, as compiler
     changes have resulted in a different kernel module ABI
     - [powerpc] Bump ABI to 1a as 3.14.2-1 was built with an older compiler
+  * [armhf] Enable IR_GPIO_CIR as module (Closes: #747762)
 
  -- Ben Hutchings <ben@decadent.org.uk>  Thu, 01 May 2014 01:50:30 +0100
 
diff --git a/debian/config/armhf/config.armmp b/debian/config/armhf/config.armmp
index c43f74e6a..38578d3fd 100644
--- a/debian/config/armhf/config.armmp
+++ b/debian/config/armhf/config.armmp
@@ -280,6 +280,11 @@ CONFIG_RADIO_SI4713=m
 ##
 CONFIG_RADIO_WL128X=m
 
+##
+## file: drivers/media/rc/Kconfig
+##
+CONFIG_IR_GPIO_CIR=m
+
 ##
 ## file: drivers/mfd/Kconfig
 ##