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().