diff -r 874661fc2d42 -r 1fa293cf593c buildconfigs/linux-defconfig_xen0_ia64
--- a/buildconfigs/linux-defconfig_xen0_ia64	Tue May 09 12:42:44 2006 -0600
+++ b/buildconfigs/linux-defconfig_xen0_ia64	Tue May 09 16:04:00 2006 -0600
@@ -93,6 +93,7 @@ CONFIG_XEN=y
 CONFIG_XEN=y
 CONFIG_ARCH_XEN=y
 CONFIG_XEN_PRIVILEGED_GUEST=y
+# CONFIG_XEN_IA64_DOM0_VP is not set
 CONFIG_XEN_BLKDEV_GRANT=y
 CONFIG_XEN_BLKDEV_FRONTEND=y
 CONFIG_XEN_BACKEND=y
diff -r 874661fc2d42 -r 1fa293cf593c buildconfigs/linux-defconfig_xenU_ia64
--- a/buildconfigs/linux-defconfig_xenU_ia64	Tue May 09 12:42:44 2006 -0600
+++ b/buildconfigs/linux-defconfig_xenU_ia64	Tue May 09 16:04:00 2006 -0600
@@ -90,6 +90,7 @@ CONFIG_XEN=y
 CONFIG_XEN=y
 CONFIG_ARCH_XEN=y
 CONFIG_XEN_PRIVILEGED_GUEST=y
+# CONFIG_XEN_IA64_DOM0_VP is not set
 CONFIG_XEN_BLKDEV_GRANT=y
 CONFIG_XEN_BLKDEV_FRONTEND=y
 CONFIG_XEN_BACKEND=y
diff -r 874661fc2d42 -r 1fa293cf593c buildconfigs/linux-defconfig_xen_ia64
--- a/buildconfigs/linux-defconfig_xen_ia64	Tue May 09 12:42:44 2006 -0600
+++ b/buildconfigs/linux-defconfig_xen_ia64	Tue May 09 16:04:00 2006 -0600
@@ -93,6 +93,7 @@ CONFIG_XEN=y
 CONFIG_XEN=y
 CONFIG_ARCH_XEN=y
 CONFIG_XEN_PRIVILEGED_GUEST=y
+# CONFIG_XEN_IA64_DOM0_VP is not set
 CONFIG_XEN_BLKDEV_GRANT=y
 CONFIG_XEN_BLKDEV_FRONTEND=y
 CONFIG_XEN_BACKEND=y