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