Re: [PATCH 4/4] cpuidle - support multiple drivers