No need to make new kernel files, just edit the /etc/pmconfig so the part which says scaling_min_freq 125000 to scaling_min_freq 250000