diff --git a/kernel-xenlinux.spec b/kernel-xenlinux.spec
index 906cc07..2deac21 100644
--- a/kernel-xenlinux.spec
+++ b/kernel-xenlinux.spec
@@ -185,6 +185,7 @@ pushd %build_src_dir
 cp --parents `find  -type f -name "Makefile*" -o -name "Kconfig*"` %buildroot/lib/modules/%kernelrelease/build
 cp -a scripts %buildroot/lib/modules/%kernelrelease/build
 cp -a --parents arch/x86/include/asm %buildroot/lib/modules/%kernelrelease/build/
+cp -a --parents arch/x86/include/mach-xen %buildroot/lib/modules/%kernelrelease/build/
 cp -a include %buildroot/lib/modules/%kernelrelease/build/include
 popd