Re: arch_timer_edge_cases failures on ampere-one