Issue

• The BUG_ON() condition is triggered at kernel/hrtimer.c:1236 leading to a kernel panic.

------------[ cut here ]------------
kernel BUG at kernel/hrtimer.c:1238!
invalid opcode: 0000 [#1] SMP 
RIP: __hrtimer_run_queues+0x25c/0x260
...
Call Trace:
 <IRQ> 
 [<ffffffffaeac26bf>] hrtimer_interrupt+0xaf/0x1d0
 [<ffffffffaea5967b>] local_apic_timer_interrupt+0x3b/0x60
 [<ffffffffaf12a083>] smp_apic_timer_interrupt+0x43/0x60
 [<ffffffffaf1267b2>] apic_timer_interrupt+0x162/0x170
 <EOI> 
 [<ffffffffaef6e5d7>] ? cpuidle_enter_state+0x57/0xd0
 [<ffffffffaef6e72e>] cpuidle_idle_call+0xde/0x230
 [<ffffffffaea366ce>] arch_cpu_idle+0xe/0xb0
 [<ffffffffaeaf5dba>] cpu_startup_entry+0x14a/0x1e0
 [<ffffffffaea57187>] start_secondary+0x1f7/0x270
 [<ffffffffaea000d5>] start_cpu+0x5/0x14