diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index d54d43eee..16e65cceb 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -78,6 +78,7 @@ CONFIG_MACH_ARMADA_375=y
 CONFIG_MACH_ARMADA_38X=y
 CONFIG_MACH_ARMADA_39X=y
 CONFIG_MACH_ARMADA_XP=y
+CONFIG_MACH_DOVE=y
 
 ##
 ## file: arch/arm/mach-omap1/Kconfig
@@ -134,6 +135,7 @@ CONFIG_ARCH_WM8850=y
 ## file: arch/arm/mm/Kconfig
 ##
 CONFIG_ARM_THUMBEE=y
+CONFIG_CACHE_TAUROS2=y
 
 ##
 ## file: arch/arm/plat-omap/Kconfig
@@ -197,6 +199,7 @@ CONFIG_COMMON_CLK_MAX77686=m
 CONFIG_COMMON_CLK_RK808=m
 CONFIG_COMMON_CLK_S2MPS11=m
 CONFIG_CLK_TWL6040=m
+CONFIG_COMMON_CLK_SI5351=m
 
 ##
 ## file: drivers/cpufreq/Kconfig
@@ -438,6 +441,7 @@ CONFIG_I2C_MESON=m
 ##
 CONFIG_I2C_ARB_GPIO_CHALLENGE=m
 CONFIG_I2C_MUX_PCA954x=m
+CONFIG_I2C_MUX_PINCTRL=m
 
 ##
 ## file: drivers/iio/Kconfig
@@ -641,6 +645,7 @@ CONFIG_MMC_WMT=m
 CONFIG_MMC_SUNXI=m
 CONFIG_MMC_BCM2835=m
 CONFIG_MMC_MESON_MX_SDIO=m
+CONFIG_MMC_SDHCI_DOVE=m
 
 ##
 ## file: drivers/mtd/Kconfig
@@ -754,6 +759,7 @@ CONFIG_E100=m
 CONFIG_MVMDIO=m
 CONFIG_MVNETA=m
 CONFIG_MVPP2=m
+CONFIG_MV643XX_ETH=m
 
 ##
 ## file: drivers/net/ethernet/microchip/Kconfig
@@ -881,6 +887,11 @@ CONFIG_PCI_HOST_GENERIC=y
 CONFIG_PHY_SUN4I_USB=m
 CONFIG_PHY_SUN9I_USB=m
 
+##
+## file: drivers/phy/marvell/Kconfig
+##
+CONFIG_PHY_MVEBU_SATA=m
+
 ##
 ## file: drivers/phy/rockchip/Kconfig
 ##
@@ -1080,6 +1091,7 @@ CONFIG_SPI_MESON_SPIFC=m
 ##
 CONFIG_ROCKCHIP_THERMAL=m
 CONFIG_ARMADA_THERMAL=y
+CONFIG_DOVE_THERMAL=m
 
 ##
 ## file: drivers/thermal/broadcom/Kconfig
@@ -1334,6 +1346,11 @@ CONFIG_SND_SOC_IMX_MC13783=m
 ##
 CONFIG_SND_SIMPLE_CARD=m
 
+##
+## file: sound/soc/kirkwood/Kconfig
+##
+CONFIG_SND_KIRKWOOD_SOC=m
+
 ##
 ## file: sound/soc/omap/Kconfig
 ##