[U-Boot] [PATCH 2/4] ARM: HYP/non-sec: Fix the ARCH Timer frequency setting.