diff --git a/debian/changelog b/debian/changelog
index d1bf406e8..320a12711 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -22,6 +22,8 @@ linux (4.8.15-2) UNRELEASED; urgency=medium
     NET_IFE_SKBPRIO as modules
   * hci_uart: Enable BT_HCIUART_AG6XX
   * nvme: Enable NVME_RDMA, NVME_TARGET, NVME_TARGET_RDMA as modules
+  * [amd64] mic: Enable VOP_BUS and VOP as modules; re-enable INTEL_MIC_HOST as
+    module
 
   [ Salvatore Bonaccorso ]
   * sg_write()/bsg_write() is not fit to be called under KERNEL_DS
diff --git a/debian/config/amd64/config b/debian/config/amd64/config
index d6a550a03..5aa080443 100644
--- a/debian/config/amd64/config
+++ b/debian/config/amd64/config
@@ -135,10 +135,12 @@ CONFIG_MAC_EMUMOUSEBTN=y
 ##
 CONFIG_INTEL_MIC_BUS=m
 CONFIG_SCIF_BUS=m
+CONFIG_VOP_BUS=m
 CONFIG_INTEL_MIC_HOST=m
 # CONFIG_INTEL_MIC_CARD is not set
 CONFIG_SCIF=m
 CONFIG_MIC_COSM=m
+CONFIG_VOP=m
 
 ##
 ## file: drivers/net/Kconfig