Print detected ARM version in configure.