There used to be support for CPU idle on these CPUs but it was broken during introduction of another CPU idle driver. For more info see this topic https://discuss.haiku-os.org/t/question-about-p-states-cpu-frequency-stepping/
2 Likes