¿A alguien se le ocurre cómo tunear los ajustes del kernel para hacer benchmarks? Osea, alguna manera de poder poner frecuencias a 1512/1512 y todos los núcleos activos. Es que si no el hotplug de franco empieza a apagar y encender núcleos y escalar frecuencias y no hay manera de sacar un benchmark "limpio".
