ARM: finally enable IRQ time accounting config