As far as I remember, Florian activated softfpu on arm compiler some months ago.