[PATCH 34/40] ARM: 8957/1: VDSO: Match ARMv8 timer in cntvct_functional()