diff -r b6faa28e76e0 -r 3722437d10a2 config/target.in
--- a/config/target.in	Wed Nov 30 00:25:22 2011 +0100
+++ b/config/target.in	Thu Nov 24 19:42:02 2011 +0100
@@ -14,6 +14,7 @@
 config ARCH_SUPPORTS_WITH_ABI
 config ARCH_SUPPORTS_WITH_CPU
 config ARCH_SUPPORTS_WITH_TUNE
+config ARCH_SUPPORTS_WITH_FLOAT
 config ARCH_SUPPORTS_WITH_FPU
 config ARCH_SUPPORTS_SOFTFP
 
@@ -148,6 +149,9 @@
 config ARCH_SUPPORTS_WITH_TUNE
     bool
 
+config ARCH_SUPPORTS_WITH_FLOAT
+    bool
+
 config ARCH_SUPPORTS_WITH_FPU
     bool