Re: [RFC PATCH v4 1/4] cpuidle: Add time keeping and irq enabling