Después de jugar con el perfil de GRUB e instalar la precarga, el regulador de escala predeterminado de repente se convierte en "rendimiento" y no en "demanda". Intenté habilitar el servicio /etc/init.d/ondemand, pero nada cambia: después de reiniciar o reanudar, el gobernador siempre es...