diff --git a/debian/changelog b/debian/changelog
index 77386af8a..9ce0cb752 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,7 +5,10 @@ linux (4.3.1-1~exp1) UNRELEASED; urgency=medium
 
   [ Ben Hutchings ]
   * Set ABI to 1
-  * [armhf] rtc: Enable RTC_DRV_DS1307, RTC_DRV_PCF8563 (Closes: #807632)
+  * [armhf] rtc: Enable RTC_DRV_DS1307, RTC_DRV_PCF8563, RTC_DRV_ARMADA38X
+    (Closes: #807632)
+  * [armhf] Enable MACH_ARMADA_375, MACH_ARMADA_38X, MACH_ARMADA_39X
+    (Closes: #807633)
 
  -- Ben Hutchings <ben@decadent.org.uk>  Wed, 09 Dec 2015 23:20:32 +0000
 
diff --git a/debian/config/armhf/config.armmp b/debian/config/armhf/config.armmp
index 8dec08808..f0138ed69 100644
--- a/debian/config/armhf/config.armmp
+++ b/debian/config/armhf/config.armmp
@@ -59,6 +59,9 @@ CONFIG_SOC_IMX6Q=y
 ##
 CONFIG_ARCH_MVEBU=y
 CONFIG_MACH_ARMADA_370=y
+CONFIG_MACH_ARMADA_375=y
+CONFIG_MACH_ARMADA_38X=y
+CONFIG_MACH_ARMADA_39X=y
 CONFIG_MACH_ARMADA_XP=y
 
 ##
@@ -773,6 +776,7 @@ CONFIG_RTC_DRV_VT8500=y
 CONFIG_RTC_DRV_SUN6I=y
 CONFIG_RTC_DRV_SUNXI=y
 CONFIG_RTC_DRV_MV=y
+CONFIG_RTC_DRV_ARMADA38X=y
 CONFIG_RTC_DRV_MC13XXX=y
 CONFIG_RTC_DRV_TEGRA=y
 CONFIG_RTC_DRV_MXC=y