Dopo aver giocato con la profilazione di GRUB e aver installato il precarico, il regolatore di ridimensionamento predefinito diventa improvvisamente "prestazioni" e non "ondemand". Ho provato ad abilitare il servizio /etc/init.d/ondemand, ma non cambia nulla - dopo il riavvio o il riavvio, il regolatore è sempre "prestazioni". Qualcuno sa cosa è successo e come ripristinare il vecchio comportamento.
Sto usando il portatile HP 6710s.