bugfixes in cpufreq_brazilianwax.c