armv8 - fix os_cpu_clock_frequency for armv8