WIP: Switch to hardware floating point

ports/card10/Makefile

@@ -22,7 +22,7 @@ INC += -I$(SDK_LOCATION)/Libraries/Boards/Include
 # CFLAGS_CORTEX_M4 = -mthumb -mtune=cortex-m4 -mabi=aapcs-linux -mcpu=cortex-m4 -mfpu=fpv4-sp-d16 -mfloat-abi=hard -fsingle-precision-constant -Wdouble-promotion
 # CFLAGS = $(INC) -Wall -Werror -std=c99 -nostdlib $(CFLAGS_CORTEX_M4) $(COPT)
 # LDFLAGS = -nostdlib -T stm32f405.ld -Map=$@.map --cref --gc-sections
-CFLAGS_MAX32665 = -mthumb -mcpu=cortex-m4 -mfloat-abi=softfp -mfpu=fpv4-sp-d16
+CFLAGS_MAX32665 = -mthumb -mcpu=cortex-m4 -mfloat-abi=hard -mfpu=fpv4-sp-d16
 SDK_CFLAGS = -DTARGET=32665 -DTARGET_REV=0x4131 -DBOARD_CARD10=1 -Wa,-mimplicit-it=thumb
 CFLAGS = $(CFLAGS_MAX32665) -Wall -Wdouble-promotion -Wno-format -fno-isolate-erroneous-paths-dereference -fsingle-precision-constant -std=c99 $(SDK_CFLAGS) $(INC)
 
@@ -36,7 +36,7 @@ ifeq ($(DEBUG), 1)
 CFLAGS += -O0 -ggdb -DDEBUG -DMXC_ASSERT_ENABLE
 else
 CFLAGS += -Os -DNDEBUG
-CFLAGS += -fdata-sections -ffunction-sections -fsingle-precision-constant
+CFLAGS += -fdata-sections -ffunction-sections
 endif
 
 LIBS =