Question: having prefcore enabled affects also the value of scaling_max_freq? Like an `lscpu -e`, for example, would show a higher max frequency for the specific preferred cores? (this is another useful information from a sched_ext scheduler perspective). Thanks, -Andrea
