[aarch64 boot-wrapper PATCH 4/6] Fix arch counter frequency

[Andre Przywara]

As the comment states, the frequency of the Generic Timer in the model
is 24 MHz, and not the currently used 0x1800000, which is actually
25,165,824 (~5% higher).

Use the proper number, and not something power-of-2 based.

Signed-off-by: Andre Przywara <andre.przywara at arm.com>
---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index af694b7..b8c0a49 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -11,7 +11,7 @@
 PHYS_OFFSET	:= $(shell perl -I $(top_srcdir) $(top_srcdir)/findmem.pl $(KERNEL_DTB))
 UART_BASE	:= $(shell perl -I $(top_srcdir) $(top_srcdir)/findbase.pl $(KERNEL_DTB) 0 'arm,pl011')
 SYSREGS_BASE	:= $(shell perl -I $(top_srcdir) $(top_srcdir)/findbase.pl $(KERNEL_DTB) 0 'arm,vexpress-sysreg')
-CNTFRQ		:= 0x01800000	# 24Mhz
+CNTFRQ		:= 24000000
 
 CPU_IDS		:= $(shell perl -I $(top_srcdir) $(top_srcdir)/findcpuids.pl $(KERNEL_DTB))
 NR_CPUS         := $(shell echo $(CPU_IDS) | tr ',' ' ' | wc -w)
-- 
2.25.1