diff -r 8f5f36b3473b -r b6faa28e76e0 config/arch/arm.in
--- a/config/arch/arm.in	Wed Oct 19 15:27:32 2011 +1300
+++ b/config/arch/arm.in	Wed Nov 30 00:25:22 2011 +0100
@@ -6,11 +6,11 @@
 ## select ARCH_DEFAULT_HAS_MMU
 ## select ARCH_SUPPORTS_BOTH_ENDIAN
 ## select ARCH_DEFAULT_LE
-## select ARCH_SUPPORT_ARCH
-## select ARCH_SUPPORT_CPU
-## select ARCH_SUPPORT_TUNE
-## select ARCH_SUPPORT_FPU
-## select ARCH_SUPPORT_SOFTFP
+## select ARCH_SUPPORTS_WITH_ARCH
+## select ARCH_SUPPORTS_WITH_CPU
+## select ARCH_SUPPORTS_WITH_TUNE
+## select ARCH_SUPPORTS_WITH_FPU
+## select ARCH_SUPPORTS_SOFTFP
 ##
 ## help The ARM architecture, as defined by:
 ## help     http://www.arm.com/