[PATCH] arm64: arch_timer: XGene-1 has 31 bit, not 32 bit, arch timer.