diff --git a/debian/changelog b/debian/changelog
index 4b9279032..4c3ae40de 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+linux (3.13~rc6-1~exp2) UNRELEASED; urgency=low
+
+  [ Ben Hutchings ]
+  * [armhf] xen/pci: Fix build on non-x86
+
+ -- Ben Hutchings <ben@decadent.org.uk>  Mon, 30 Dec 2013 17:23:53 +0100
+
 linux (3.13~rc6-1~exp1) experimental; urgency=low
 
   * New upstream release candidate
diff --git a/debian/patches/bugfix/arm/xen-pci-fix-build-on-non-x86.patch b/debian/patches/bugfix/arm/xen-pci-fix-build-on-non-x86.patch
new file mode 100644
index 000000000..f59896ddf
--- /dev/null
+++ b/debian/patches/bugfix/arm/xen-pci-fix-build-on-non-x86.patch
@@ -0,0 +1,22 @@
+From: Ben Hutchings <ben@decadent.org.uk>
+Date: Mon, 30 Dec 2013 19:44:02 +0100
+Subject: xen/pci: Fix build on non-x86
+
+We can't include <asm/pci_x86.h> if this isn't x86, and we only need
+it if CONFIG_PCI_MMCONFIG is enabled.
+
+Fixes: 8deb3eb1461e ('xen/mcfg: Call PHYSDEVOP_pci_mmcfg_reserved for MCFG areas.')
+Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
+---
+--- a/drivers/xen/pci.c
++++ b/drivers/xen/pci.c
+@@ -26,7 +26,9 @@
+ #include <asm/xen/hypervisor.h>
+ #include <asm/xen/hypercall.h>
+ #include "../pci/pci.h"
++#ifdef CONFIG_PCI_MMCONFIG
+ #include <asm/pci_x86.h>
++#endif
+ 
+ static bool __read_mostly pci_seg_supported = true;
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 3853545e0..f375bc649 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -76,3 +76,4 @@ debian/add-sysctl-to-disallow-unprivileged-CLONE_NEWUSER-by-default.patch
 bugfix/all/disable-some-marvell-phys.patch
 features/all/media-az6007-support-Technisat-Cablestar-Combo-HDCI-.patch
 bugfix/all/staging-lustre-Make-LUSTRE_LLITE_LLOOP-tristate.patch
+bugfix/arm/xen-pci-fix-build-on-non-x86.patch