diff --git a/debian/changelog b/debian/changelog
index 62ba0a8ba..6962c3578 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+linux (3.16~rc6-1~exp2) UNRELEASED; urgency=medium
+
+  [ Aurelien Jarno ]
+  * [x86] vfio: Enable VFIO_PCI_VGA.
+
+ -- Aurelien Jarno <aurel32@debian.org>  Thu, 31 Jul 2014 20:56:06 +0200
+
 linux (3.16~rc6-1~exp1) experimental; urgency=medium
 
   * New upstream rc
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 6f79181e6..e69562114 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1615,6 +1615,7 @@ CONFIG_VFIO=m
 ## file: drivers/vfio/pci/Kconfig
 ##
 CONFIG_VFIO_PCI=m
+CONFIG_VFIO_PCI_VGA=y
 
 ##
 ## file: drivers/video/Kconfig