Index: xen-4.0.0-testing/tools/Makefile
===================================================================
--- xen-4.0.0-testing.orig/tools/Makefile
+++ xen-4.0.0-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
 
 # These don't cross-compile
 ifeq ($(XEN_COMPILE_ARCH),$(XEN_TARGET_ARCH))