diff -r 446a17b5dd1e -r d9e78e89b3f6 config/target.in
--- a/config/target.in	Wed Nov 23 23:25:43 2011 +0100
+++ b/config/target.in	Sun Dec 23 14:32:20 2012 +0100
@@ -294,18 +294,9 @@
       binary blobs from different vendors that are compiling this way and
       can't (don't wan't to) change.
 
-config ARCH_FLOAT_SW
-    bool
-    prompt "software"
-    help
-      Do not emit any hardware floating point opcode.
-      
-      If your processor has no FPU, then you most probably want this, as it
-      is faster than emulating the FPU in the kernel.
-
 config ARCH_FLOAT_SOFTFP
     bool
-    prompt "softfp"
+    prompt "softfp (FPU)"
     depends on ARCH_SUPPORTS_SOFTFP
     help
       Emit hardware floating point opcodes but use the software
@@ -319,6 +310,15 @@
 
       If in doubt, use 'software' or 'hardware' mode instead.
 
+config ARCH_FLOAT_SW
+    bool
+    prompt "software (no FPU)"
+    help
+      Do not emit any hardware floating point opcode.
+      
+      If your processor has no FPU, then you most probably want this, as it
+      is faster than emulating the FPU in the kernel.
+
 endchoice
 
 config TARGET_CFLAGS