unsigned long platform_cpu_core_frequency(void);
platform_cpu_core_frequency returns the CPU core frequency, in Hertz.