[PATCH v4 0/3] devfreq: Add support for devices which can idle