Along with an assortment of other power management improvements to land with the Linux 3.10 kernel, a cpufreq driver for ARM's big.LITTLE is being introduced. There's also a cpufreq driver for the Exynos 5440 quad-core and the new AMD frequency sensitivity feedback support...