Comment 5 for bug 1480320

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.