If you have Kernel Power, yes. Code: echo 125000 > /sys/devices/system/cpu/cpu0/cpufreq/ondemand/avoid_frequencies This should do it, however AFAIK it should be blocked by default.
echo 125000 > /sys/devices/system/cpu/cpu0/cpufreq/ondemand/avoid_frequencies
cat /sys/devices/system/cpu/cpu0/cpufreq/stats/time_in_state