Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 0175246a19e8ee96e2ea4f2c13e89c437bf42b2e)
+++ defaults/amd64/Makefile.config	(revision 854c56404e598d97ec7618e179465613a3cdeba4)
@@ -16,7 +16,4 @@
 # Support for SMP
 CONFIG_SMP = y
-
-# Improved support for hyperthreading
-CONFIG_HT = y
 
 # Lazy FPU context switching