Set hard-float abi for codegen, unless overridden in ./configure