We've had IRQ time accounting for the last six months, except for the
Kconfig symbol.  This somehow got missed out of the original patch.
Add this now.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>