use optimized CFLAGS, be sure to use hard float for gcc

target/config/Config.in

@@ -458,6 +458,9 @@ config ADK_CPU_MIPS32
 config ADK_CPU_MIPS64
 	boolean
 
+config ADK_CPU_RASPBERRY_PI
+	boolean
+
 config ADK_TARGET_CPU_ARCH
 	string
 	default "x86_64" if ADK_CPU_X86_64
@@ -522,7 +525,7 @@ config ADK_TARGET_CFLAGS
 	default "-march=v32" if ADK_CPU_CRIS_V32
 	default "-march=v10" if ADK_CPU_CRIS_V10
 	default "-march=armv5te -mtune=iwmmxt" if ADK_CPU_XSCALE
-	default "-march=armv6 -mtune=arm1176jzf-s -mfloat-abi=hardfp -marm" if ADK_CPU_RASPBERRY_PI
+	default "-march=armv6 -mtune=arm1176jzf-s -mfloat-abi=hard" if ADK_CPU_RASPBERRY_PI
 
 config ADK_TARGET_CMDLINE
 	string

toolchain/gcc/Makefile

@@ -76,7 +76,7 @@ endif
 endif
 
 ifeq ($(ADK_TARGET_SYSTEM_RASPBERRY_PI),y)
-GCC_CONFOPTS+=          --with-arch=armv6 --with-fpu=vfp
+GCC_CONFOPTS+=          --with-arch=armv6 --with-fpu=vfp --with-float=hard
 endif
 
 ifneq ($(ADK_TARGET_ABI),)