diff -r b5b389a84f48 -r 6569f6a9060c config/cc/gcc.in
--- a/config/cc/gcc.in	Mon Dec 17 17:13:27 2012 +0100
+++ b/config/cc/gcc.in	Wed Dec 26 11:53:05 2012 +0100
@@ -194,29 +194,13 @@
     prompt "4.2.4"
     select CC_GCC_4_2
 
-config CC_V_4_2_3
-    bool
-    prompt "4.2.3 (OBSOLETE)"
-    select CC_GCC_4_2
-    depends on OBSOLETE
-
+# We need that one, it's the only version with avr32 support
+# because we have a patch for it
 config CC_V_4_2_2
     bool
     prompt "4.2.2"
     select CC_GCC_4_2
 
-config CC_V_4_2_1
-    bool
-    prompt "4.2.1 (OBSOLETE)"
-    select CC_GCC_4_2
-    depends on OBSOLETE
-
-config CC_V_4_2_0
-    bool
-    prompt "4.2.0 (OBSOLETE)"
-    select CC_GCC_4_2
-    depends on OBSOLETE
-
 config CC_V_4_1_2
     bool
     prompt "4.1.2 (OBSOLETE)"
@@ -431,10 +415,7 @@
     default "4.3.1" if CC_V_4_3_1
     default "4.3.0" if CC_V_4_3_0
     default "4.2.4" if CC_V_4_2_4
-    default "4.2.3" if CC_V_4_2_3
     default "4.2.2" if CC_V_4_2_2
-    default "4.2.1" if CC_V_4_2_1
-    default "4.2.0" if CC_V_4_2_0
     default "4.1.2" if CC_V_4_1_2
     default "4.0.4" if CC_V_4_0_4
     default "3.4.6" if CC_V_3_4_6