Re: [Query] Spurious interrupts from clockevent device on X86 Ivybridge