diff --git a/site/docs/install/dell3050.md b/site/docs/install/dell3050.md
index 0b3427b..892dcaa 100644
--- a/site/docs/install/dell3050.md
+++ b/site/docs/install/dell3050.md
@@ -217,6 +217,10 @@ Legacy 8254 timer enabled in coreboot, to prevent SeaBIOS from hanging.
 HyperThreading on 3050 Micro
 --------------------------
 
+NOTE: The 3050 Micro is available in different CPU configurations.
+Before considering to enable HyperThreading support, make sure it is
+supported by the CPU of your 3050 Micro.
+
 Also called SMT. This is a feature where you get 2 threads on a single core.
 It can improve performance in some workloads, but is actually a performance
 liability in others, depending on your OS kernel/scheduler and the actual