Cpufreq support

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