Re: [PATCH v2 2/4] arm64: arch_timer: Allow an workaround descriptor to disable compat vdso