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