[PATCH 0/4] cpuidle - support multiple drivers at a time