Exynos 5 DVFS ou desligando núcleos no Ubuntu - Frequência de escalonamento para apenas um dos núcleos (dual core) (cpufreq)

Question

Eu queria saber se é possível escalar apenas um dos núcleos da CPU na A15 no Exynos 5? Tentei usar, por exemplo, cpufreq-set -c 1 -f 500MHz, mas ambos os núcleos estão configurados para a mesma frequência. Ao executar cpufreq-info, ele exibe que: "CPUs que precisam ter sua freqüência coordenada por software: 0 1" na CPU 0 e na CPU 1. Talvez isso signifique que ambos os núcleos sejam dimensionados.

No entanto, existe alguma maneira de desativar um núcleo ou executar o escalonamento de frequência de núcleos individuais no Ubuntu?