FIXUP: sched: scheduler-driven cpu frequency selection