secondo me installando quel driver magari si potra usare cpumsr per cambiare il moltiplicatore faro una prova appena ho un momento di tempo dato che quel drriver e il supporto per la funzione powernow (sperando che non mi succeda niente al os perche ho appena sistemato tutto a dovere )
provare non costa nulla