diff -r e6b5bd481942 -r 561bce585313 config/target.in
--- a/config/target.in	Fri Nov 25 23:57:55 2011 +0100
+++ b/config/target.in	Fri Nov 25 23:59:29 2011 +0100
@@ -260,6 +260,7 @@
 choice
     bool
     prompt "Floating point:"
+    depends on ARCH_SUPPORTS_WITH_FLOAT
 
 config ARCH_FLOAT_HW
     bool
@@ -328,6 +329,7 @@
 
 config ARCH_FLOAT
     string
+    default ""       if ! ARCH_SUPPORTS_WITH_FLOAT
     default "hard"   if ARCH_FLOAT_HW
     default "soft"   if ARCH_FLOAT_SW
     default "softfp" if ARCH_FLOAT_SOFTFP