[Bug 615644] acpi_cpufreq not loaded