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