b8058ea8ee
* This avoids mixup of the soft/hard float libs * It also means we can use the hard-float libs for targets that supports it * Again, we could introduce an arm_softfp compiler for targets that don't have floating point support, with a different gcc build.