idlestat: irq count reported is wrong