diff --git a/kernel/build/config-amd64 b/kernel/build/config-amd64
index ab4733aa..a335f7a5 100644
--- a/kernel/build/config-amd64
+++ b/kernel/build/config-amd64
@@ -659,7 +659,7 @@ CONFIG_CPU_IDLE_GOV_HALTPOLL=y
 CONFIG_HALTPOLL_CPUIDLE=y
 # end of CPU Idle
 
-# CONFIG_INTEL_IDLE is not set
+CONFIG_INTEL_IDLE=y
 # end of Power management and ACPI options
 
 #