kvm_amd and cpufreq_ondemand