[PATCH 4.19 295/421] clocksource/arm_arch_timer: Improve Allwinner A64 timer workaround