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