Index: xen-4.0.1-testing/tools/Makefile
===================================================================
--- xen-4.0.1-testing.orig/tools/Makefile
+++ xen-4.0.1-testing/tools/Makefile
@@ -35,7 +35,7 @@ SUBDIRS-$(CONFIG_IOEMU) += ioemu-dir
 SUBDIRS-y += xenpmd
 #SUBDIRS-y += libxl
 SUBDIRS-y += remus
-SUBDIRS-$(CONFIG_X86) += xenpaging
+#SUBDIRS-$(CONFIG_X86) += xenpaging
 SUBDIRS-$(CONFIG_X86) += debugger/gdbsx
 
 # These don't cross-compile