Re: [PATCH 1/7] arm: vexpress64: Fix counter frequency