I see now that the absence of /sys/devices/system/cpu/cpu1/cpufreq is a red herring - that's not there on the first boot either, when the frequency on the second core does scale correctly. I'll look into this some more...
I see now that the absence of /sys/devices/ system/ cpu/cpu1/ cpufreq is a red herring - that's not there on the first boot either, when the frequency on the second core does scale correctly. I'll look into this some more...