use MFLAGS and softfp for STM32F4-Discovery