Re: [Eas-dev] [RFC 0/6] scheduler-based cpu frequency scaling