[PATCH v4 1/3] devfreq: Core updates to support devices which can idle