[Bug 296434] New: kernel with CONFIG_NO_HZ looses interrupts