Re: [PATCH 0/4][V2] cpuidle : multiple drivers support