$NetBSD$

--- xen/include/asm-x86/page.h.orig	2009-01-05 11:27:00.000000000 +0000
+++ xen/include/asm-x86/page.h
@@ -301,7 +301,7 @@ void setup_idle_pagetable(void);
  * WARNING: This will need to be disabled to run OSes that use the spare PTE
  * bits themselves (e.g., *BSD).
  */
-#ifdef NDEBUG
+#if 1
 #undef _PAGE_GNTTAB
 #endif
 #ifndef _PAGE_GNTTAB
