> Does the patch below fix your issue ? I applied your patch, but it still fails to boot. the boot logs are same. Thanks > Thanks, > tglx > diff --git a/kernel/cpu/idle.c b/kernel/cpu/idle.c > index 8b86c0c..a8972fe 100644 > --- a/kernel/cpu/idle.c > +++ b/kernel/cpu/idle.c > @@ -70,8 +70,10 @@ static void cpu_idle_loop(void) > check_pgt_cache(); > rmb(); > - if (cpu_is_offline(smp_processor_id())) > + if (cpu_is_offline(smp_processor_id())) { > arch_cpu_idle_dead(); > + continue; > + } > local_irq_disable(); > arch_cpu_idle_enter();