We see itś running at its maximum frequency, 2.4 GHz. After following the steps to enable power management, we can see that it idles down to itś lowest frequency, 800 MHz (shown using a 3 second interval):