clocksource: ARM sp804: obtain sp804 timer rate via clks