target/Config.in.arch: really provide correct --with-arch= for ARM targets