--- tools/libxc/xc_dom_x86.c~	2007-01-31 18:07:56.000000000 +0100
+++ tools/libxc/xc_dom_x86.c	2007-02-01 10:02:08.000000000 +0100
@@ -66,6 +66,7 @@
 
     extra_pages = dom->alloc_bootstack ? 1 : 0;
     extra_pages += dom->extra_pages;
+    extra_pages += 128; /* 512kB padding */
     pages = extra_pages;
     for (;;)
     {