clocksource/drivers/arm_arch_timer: limit XGene-1 workaround