--- ./arch/arm/config.mk.orig	2013-11-21 15:32:54.101087262 +0100
+++ ./arch/arm/config.mk	2013-11-21 15:33:03.803861493 +0100
@@ -17,7 +17,7 @@ endif
 
 LDFLAGS_FINAL += --gc-sections
 PLATFORM_RELFLAGS += -ffunction-sections -fdata-sections \
-		     -fno-common -ffixed-r9 -msoft-float
+		     -fno-common -ffixed-r9
 
 # Support generic board on ARM
 __HAVE_ARCH_GENERIC_BOARD := y