Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision d6d04e756b625ce0aa509eacccdc80deb8033342)
+++ defaults/amd64/Makefile.config	(revision 287e83f9b1d052d373437f8888bca9dcebd88cfc)
@@ -16,7 +16,4 @@
 # Support for SMP
 CONFIG_SMP = y
-
-# Improved support for hyperthreading
-CONFIG_HT = y
 
 # Lazy FPU context switching
Index: defaults/ia32/Makefile.config
===================================================================
--- defaults/ia32/Makefile.config	(revision d6d04e756b625ce0aa509eacccdc80deb8033342)
+++ defaults/ia32/Makefile.config	(revision 287e83f9b1d052d373437f8888bca9dcebd88cfc)
@@ -22,7 +22,4 @@
 # Support for SMP
 CONFIG_SMP = y
-
-# Improved support for hyperthreading
-CONFIG_HT = y
 
 # Lazy FPU context switching