From 589b068d1b7911a1328d8f00a8938b0453fd03c2 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Wed, 4 Jan 2017 00:28:35 +0000
Subject: [PATCH] [x86] PCI: Enable VMD as module

---
 debian/changelog                    | 1 +
 debian/config/kernelarch-x86/config | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index c90f94f9d..665792fca 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ linux (4.9-1~exp1) UNRELEASED; urgency=medium
   [ Ben Hutchings ]
   * Set ABI to trunk
   * Enable USERFAULTFD (except on armel/marvell)
+  * [x86] PCI: Enable VMD as module
 
   [ Uwe Kleine-König ]
   * enable `perf data' support; patch by Sebastian Andrzej Siewior
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 449693ed7..994606c3c 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1287,6 +1287,11 @@ CONFIG_HT_IRQ=y
 CONFIG_PCI_PRI=y
 CONFIG_PCI_PASID=y
 
+##
+## file: drivers/pci/host/Kconfig
+##
+CONFIG_VMD=m
+
 ##
 ## file: drivers/pci/hotplug/Kconfig
 ##