[Bug 296434] kernel with CONFIG_NO_HZ looses interrupts