[Eas-dev] [RFC 0/43 29/43] sched/power: allocate power for cooling devices