Can you show an output of cat /sys/devices/system/cpu/cpu0/cpufreq/stats/time_in_state while kernel has 125MHz capability?