[PATCH kernel-4.19 287/412] clocksource/arm_arch_timer: Improve Allwinner A64 timer workaround