[PATCH kernel-4.19] clocksource/drivers/arch_timer: Fix vdso_fix compile error for arm32