Cpufreq support
The cpufreq support in binary blob BL31 is different from TF-A. See
linux#7 (closed)