Re: [PATCH 02/18] clocksource/drivers/arch_timer: Workaround for Allwinner A64 timer instability