diff --git a/debian/changelog b/debian/changelog
index f62fb044a..4da30dcfe 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,9 @@ linux (3.16~rc6-1~exp2) UNRELEASED; urgency=medium
   * [x86] vfio: Enable VFIO_PCI_VGA.
   * udeb: rename crc32c.ko into crc32c_generic.ko in crc-modules.
 
+  [ Bastian Blank ]
+  * [x86] Enable Xen PVH support.
+
  -- Aurelien Jarno <aurel32@debian.org>  Thu, 31 Jul 2014 20:56:06 +0200
 
 linux (3.16~rc6-1~exp1) experimental; urgency=medium
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index df0391b66..2c13a987d 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -120,6 +120,7 @@ CONFIG_KVM_DEVICE_ASSIGNMENT=y
 ##
 CONFIG_XEN=y
 # CONFIG_XEN_DEBUG_FS is not set
+CONFIG_XEN_PVH=y
 
 ##
 ## file: block/partitions/Kconfig