diff -r 66ef6171f65e -r 069f43a215cc config/arch/arm.in
--- a/config/arch/arm.in	Thu Nov 24 19:38:37 2011 +0100
+++ b/config/arch/arm.in	Wed Jun 25 23:33:01 2014 +0200
@@ -1,6 +1,7 @@
 # ARM specific configuration file
 
 ## select ARCH_SUPPORTS_32
+## select ARCH_SUPPORTS_64
 ## select ARCH_DEFAULT_32
 ## select ARCH_SUPPORTS_BOTH_MMU
 ## select ARCH_DEFAULT_HAS_MMU
@@ -9,9 +10,9 @@
 ## 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
+## select ARCH_SUPPORTS_WITH_FLOAT if ARCH_32
+## select ARCH_SUPPORTS_WITH_FPU if ARCH_32
+## select ARCH_SUPPORTS_SOFTFP if ARCH_32
 ##
 ## help The ARM architecture, as defined by:
 ## help     http://www.arm.com/