En primer lugar, hay que identificar el driver que gestiona las frecuencias del procesador.