[Query] Spurious interrupts from clockevent device on X86 Ivybridge