Don't use hardfloat by default.  This makes it hard to use SGX etc.