I have v31 on rpi4. I noticed my cpu is idling (1% usage) at 60C. Using cat /sys/devices/system/cpu/cpu[0-3]/cpufreq/cpuinfo_curfreq, I then find my CPU frequencies are constantly at max level (1500 by default; I use 1800 with a heatsink). I looked into config.txt and there is no force_turbo option. I added a force_turbo=0, but it’s not doing anything and my CPU frequency is still at the max level. What is going on? Does anyone know?