[PATCH 4.19 155/280] clocksource/drivers/arch_timer: Workaround for Allwinner A64 timer instability