Use correct setting for -mfpu when building for Cortex-M4 targets, and
add a setting for using hard or soft floating point.
Merge branch 'cortex-m4-float-options' into STM32F4