Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 0175246a19e8ee96e2ea4f2c13e89c437bf42b2e)
+++ 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