[PATCH 2/3] arm64: Fix __arch_get_hw_counter() implementation