Make cpufreq optimizations specific to Ubuntu and Debian.
Fedora required the installation of
	kernel-tools-libs-devel-$(uname -r)
, which seems not to have any reasonable way to be linked to...