This patch series seems to make irq time accounting work with nohz_idle, by having it re-use the same strategy used for steal time accounting in Wanpeng Li's patch.
It applies on top of an earlier version of Wanpeng Li's patch. It gets rid of some code duplication, but needs a little bit more work. Specifically, selecting CONFIG_IRQ_TIME_ACCOUNTING at the same time as CONFIG_TICK_BASED_ACCOUNTING probably breaks :) I am posting this because it works, and because I would like to know what other changes I need to make at the same time.
