Exynos 5 DVFS o apagar núcleos en Ubuntu: frecuencia de escalado solo para uno de los núcleos (doble núcleo) (cpufreq)

Question

Me preguntaba si es posible escalar solo uno de los núcleos de la CPU en el A15 en Exynos 5. Intenté usar, por ejemplo, cpufreq-set -c 1 -f 500MHz, pero ambos núcleos están configurados en la misma frecuencia. Al ejecutar cpufreq-info, muestra lo siguiente: "CPU que necesitan tener su frecuencia coordinada por software: 0 1" tanto en la CPU 0 como en la CPU 1. Quizás esto signifique que ambos núcleos están escalados.

Sin embargo, ¿hay alguna forma de apagar un núcleo o realizar un escalado de frecuencia de núcleos individuales en Ubuntu?