Index: defaults/ia64/Makefile.config
===================================================================
--- defaults/ia64/Makefile.config	(revision 266daf5aa5865243097d6ed156a141a4df50764c)
+++ defaults/ia64/Makefile.config	(revision 7b8caa05a714ee095f089eda2e2064b7dc6e928d)
@@ -21,5 +21,5 @@
 
 # Use VHPT
-CONFIG_VHPT = y
+CONFIG_VHPT = n 
 
 # Support for userspace debuggers