I try to cross-build arm with a devkit, and pass extra cflags to the build, but in that case the configure step tries to build and execute the binary:

```
bash ../source/configure --with-boot-jdk=/shared/projects/openjdk/jdks/sapmachine18 --with-gtest=/shared/projects/openjdk/gtest/googletest --with-build-jdk=../output-release/images/jdk --with-debug-level=fastdebug --with-devkit=/shared/projects/openjdk/devkits/x86_64-linux-gnu-to-arm-linux-gnueabihf --openjdk-target=arm-linux-gnueabihf --disable-precompiled-headers --with-extra-cflags=-mthumb --with-extra-cxxflags=-mthumb
...
checking whether the C compiler works... no
configure: error: in `/shared/projects/openjdk/jdk-jdk/output-fastdebug-arm':
configure: error: C compiler cannot create executables
See `config.log' for more details
configure exiting with result code 77
```

This does not happen if I omit `-with-extra-cflags` and `-with-extra-cxxflags`