diff -r 6268121bee4a -r 896cb0d36c1a config/arch/avr32.in
--- a/config/arch/avr32.in	Sun Jan 31 12:24:05 2010 +0100
+++ b/config/arch/avr32.in	Sun May 08 19:02:44 2011 +0200
@@ -1,14 +1,13 @@
 # AVR32 specific configuration file
 
-config ARCH_avr32
-    select ARCH_SUPPORTS_32
-    select ARCH_DEFAULT_32
-    select ARCH_USE_MMU
-    select ARCH_DEFAULT_BE
-    select ARCH_SUPPORT_ARCH
-    select ARCH_SUPPORT_CPU
-    select ARCH_SUPPORT_TUNE
-    select ARCH_SUPPORT_FPU
-     help
-      The AVR32 architecture, as defined by:
-        http://www.atmel.com/products/avr32
+## select ARCH_SUPPORTS_32
+## select ARCH_DEFAULT_32
+## select ARCH_USE_MMU
+## select ARCH_DEFAULT_BE
+## select ARCH_SUPPORT_ARCH
+## select ARCH_SUPPORT_CPU
+## select ARCH_SUPPORT_TUNE
+## select ARCH_SUPPORT_FPU
+##
+## help The AVR32 architecture, as defined by:
+## help     http://www.atmel.com/products/avr32