Re: Question regarding broadcast timer/cpuidle and /proc/interrupts