diff --git a/debian/changelog b/debian/changelog
index eaa31c7c4..a6ced9c1a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -25,6 +25,9 @@ linux (4.16~rc5-1~exp2) UNRELEASED; urgency=medium
     - udeb: Combine core-modules/kernel-image and scsi{,-common,-extra}-modules
     - udeb: Add i2c-modules
 
+  [ Vagrant Cascadian ]
+  * [armhf] Enable ARCH_MESON and related drivers.
+
  -- Ben Hutchings <ben@decadent.org.uk>  Tue, 13 Mar 2018 16:12:54 +0000
 
 linux (4.16~rc5-1~exp1) experimental; urgency=medium
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index 89c0e927d..d54d43eee 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -64,6 +64,11 @@ CONFIG_SOC_IMX51=y
 CONFIG_SOC_IMX53=y
 CONFIG_SOC_IMX6Q=y
 
+##
+## file: arch/arm/mach-meson/Kconfig
+##
+CONFIG_ARCH_MESON=y
+
 ##
 ## file: arch/arm/mach-mvebu/Kconfig
 ##
@@ -426,6 +431,7 @@ CONFIG_I2C_SUN6I_P2WI=m
 CONFIG_I2C_TEGRA=y
 CONFIG_I2C_VERSATILE=m
 CONFIG_I2C_CROS_EC_TUNNEL=m
+CONFIG_I2C_MESON=m
 
 ##
 ## file: drivers/i2c/muxes/Kconfig
@@ -634,6 +640,7 @@ CONFIG_MMC_DW_ROCKCHIP=m
 CONFIG_MMC_WMT=m
 CONFIG_MMC_SUNXI=m
 CONFIG_MMC_BCM2835=m
+CONFIG_MMC_MESON_MX_SDIO=m
 
 ##
 ## file: drivers/mtd/Kconfig
@@ -853,6 +860,7 @@ CONFIG_WLCORE_SDIO=m
 ##
 CONFIG_ROCKCHIP_EFUSE=m
 CONFIG_NVMEM_SUNXI_SID=m
+CONFIG_MESON_MX_EFUSE=m
 
 ##
 ## file: drivers/pci/dwc/Kconfig
@@ -956,6 +964,7 @@ CONFIG_CHARGER_BQ2415X=m
 CONFIG_PWM=y
 CONFIG_PWM_BCM2835=m
 CONFIG_PWM_IMX=m
+CONFIG_PWM_MESON=m
 CONFIG_PWM_OMAP_DMTIMER=m
 CONFIG_PWM_ROCKCHIP=m
 CONFIG_PWM_SAMSUNG=m
@@ -1063,6 +1072,8 @@ CONFIG_SPI_SUN6I=m
 CONFIG_SPI_TEGRA114=m
 CONFIG_SPI_TEGRA20_SFLASH=m
 CONFIG_SPI_SPIDEV=y
+CONFIG_SPI_MESON_SPICC=m
+CONFIG_SPI_MESON_SPIFC=m
 
 ##
 ## file: drivers/thermal/Kconfig
@@ -1108,6 +1119,8 @@ CONFIG_SERIAL_OMAP_CONSOLE=y
 CONFIG_SERIAL_ARC=y
 CONFIG_SERIAL_ARC_CONSOLE=y
 CONFIG_SERIAL_ARC_NR_PORTS=1
+CONFIG_SERIAL_MESON=y
+CONFIG_SERIAL_MESON_CONSOLE=y
 
 ##
 ## file: drivers/tty/serial/8250/Kconfig
@@ -1258,6 +1271,7 @@ CONFIG_TWL4030_WATCHDOG=m
 CONFIG_IMX2_WDT=m
 CONFIG_TEGRA_WATCHDOG=m
 CONFIG_BCM2835_WDT=m
+CONFIG_MESON_WATCHDOG=m
 
 ##
 ## file: kernel/power/Kconfig