Re: [RFC PATCH v4 0/4] Consolidate cpuidle timekeeping and irq enabling