Update drivers/cpufreq/cpufreq_badass.c