good news! my workaround works! by default the kernels sets the range to [250,600MHz] (even if pmconfig contains 125000/600000). To set the minimum to 125MHz use 124000, for a maximum of 600MHz use 599000, otherwise use the real frequencies. min=125000 and max=600000 are ignored by the kernel.