diff -r b6faa28e76e0 -r a8bf927f6e37 config/arch/arm.in
--- a/config/arch/arm.in	Wed Nov 30 00:25:22 2011 +0100
+++ b/config/arch/arm.in	Tue Nov 06 17:02:06 2012 +0100
@@ -9,6 +9,7 @@
 ## select ARCH_SUPPORTS_WITH_ARCH
 ## select ARCH_SUPPORTS_WITH_CPU
 ## select ARCH_SUPPORTS_WITH_TUNE
+## select ARCH_SUPPORTS_WITH_FLOAT
 ## select ARCH_SUPPORTS_WITH_FPU
 ## select ARCH_SUPPORTS_SOFTFP
 ##