diff --git a/debian/changelog b/debian/changelog
index 8f49db149..b5c6e22ef 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ linux (3.14.13-3) UNRELEASED; urgency=medium
   * [amd64] Enable X86_X32 (Closes: #708070) and X86_X32_DISABLED.
     Use the kernel parameter "syscall.x32=y" to enable support for x32.
   * [s390,s390x] 3215: fix hanging console issue (Closes: #747922)
+  * [armhf] Enable BRCMFMAC, BRCMFMAC_SDIO as modules (Closes: #734430)
 
  -- Aurelien Jarno <aurel32@debian.org>  Fri, 25 Jul 2014 23:02:24 +0200
 
diff --git a/debian/config/armhf/config.armmp b/debian/config/armhf/config.armmp
index 6a9893c79..2d2dac5a9 100644
--- a/debian/config/armhf/config.armmp
+++ b/debian/config/armhf/config.armmp
@@ -495,6 +495,12 @@ CONFIG_SKFP=m
 ##
 CONFIG_MDIO_SUN4I=y
 
+##
+## file: drivers/net/wireless/brcm80211/Kconfig
+##
+CONFIG_BRCMFMAC=m
+CONFIG_BRCMFMAC_SDIO=m
+
 ##
 ## file: drivers/net/wireless/ti/Kconfig
 ##