[tip: timers/core] clocksource/drivers/arm_arch_timer: Fix XGene-1 TVAL register math error