Most recent kernel where this bug did not occur: Distribution: Hardware Environment: harwich sdv Software Environment: Problem Description: available frequencies show 10 duplicate values. Steps to reproduce: load system with acpi_cpufreq and 'cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_available_frequencies'
This should be fixed in later kernels iirc ?
yes.