linking with libarm_cortexM3l_math.a ?

Only platform.txt needs to be changed, as per cmaglie's post.

Just to reiterate what I said before - I've now had this modification for 2 months and have used the IDE heavily and have had absolutely no problems or incompatibilities at all with sketches not using the library. I would recommend this change to be included in the next IDE release.