configure: handle ARM machine names with version