diff -r ae9899116f19 -r 200836977ce6 config/cc/gcc.in.2
--- a/config/cc/gcc.in.2	Wed Apr 27 22:41:17 2011 +0200
+++ b/config/cc/gcc.in.2	Wed May 18 23:00:46 2011 +0200
@@ -31,7 +31,7 @@
       Note: just pass in the option _value_, that is only the part that goes
       after the '=' sign.
 
-config CC_CORE_EXTRA_CONFIG
+config CC_CORE_EXTRA_CONFIG_ARRAY
     string
     prompt "Core gcc extra config"
     default ""
@@ -41,7 +41,7 @@
       The core gcc is a stripped down, C-only compiler needed to build
       the C library. Kinda bootstrap gcc, if you wish.
 
-config CC_EXTRA_CONFIG
+config CC_EXTRA_CONFIG_ARRAY
     string
     prompt "gcc extra config"
     default ""