Re: [RFC patch 02/11] cpuidle / arm : a single cpuidle driver