1.1 --- a/config/arch/arm.in	Wed Nov 30 00:25:22 2011 +0100
     1.2 +++ b/config/arch/arm.in	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -9,6 +9,7 @@
     1.4  ## select ARCH_SUPPORTS_WITH_ARCH
     1.5  ## select ARCH_SUPPORTS_WITH_CPU
     1.6  ## select ARCH_SUPPORTS_WITH_TUNE
     1.7 +## select ARCH_SUPPORTS_WITH_FLOAT
     1.8  ## select ARCH_SUPPORTS_WITH_FPU
     1.9  ## select ARCH_SUPPORTS_SOFTFP
    1.10  ##