Since the /etc/init.d/ondemand script has many other issues, including overriding the settings prepared by /etc/init.d/cpufrequtils, I think that the best option should be removing it.
Since the /etc/init. d/ondemand script has many other issues, including overriding the settings prepared by /etc/init. d/cpufrequtils, I think that the best option should be removing it.