arm: architected timer uses wrong tick value
arm: dynamically read architected timer frequency

On platforms that support it, use the timer frequency stored
in the cp15 timer register.  On devices that do not support
it (e. g. an exynos), use the agtimer_freq.

In the future we want to use the FDT instead of that variable.