CONFIG_HAVE_IRQ_TIME_ACCOUNTING (not configurable)
configname: CONFIG_HAVE_IRQ_TIME_ACCOUNTING
Linux Kernel Configuration
└─>HAVE_IRQ_TIME_ACCOUNTING
In linux kernel since version 3.1 (release Date: 2011-10-24)
Archs need to ensure they use a high enough resolution clock to
support irq time accounting and then call enable_sched_clock_irqtime().
support irq time accounting and then call enable_sched_clock_irqtime().