diff --git a/arch/x86/xen/setup.c b/arch/x86/xen/setup.c
index e03c63692176f1e5f2ce38fda9cce20e389ce183..12366238d07d142d985ece62c23a205ea720b1b5 100644
--- a/arch/x86/xen/setup.c
+++ b/arch/x86/xen/setup.c
@@ -420,7 +420,6 @@ void __init xen_arch_setup(void)
 	boot_cpu_data.hlt_works_ok = 1;
 #endif
 	disable_cpuidle();
-	boot_option_idle_override = IDLE_HALT;
 	WARN_ON(set_pm_idle_to_default());
 	fiddle_vdso();
 }