Correct license or not, aren't you missing the key point that the Arduino platform is comprised of many 3rd party components (Processing, Gcc, AVRDUDE, etc) in which the Arduino firm has no control over what license was used and could not change it even if they wanted to ? They simply don't 'own' all the software components used in the platform.
Simply put, Arduino is in no position to take action on your re-licensing idea even if they agreed with it.
Very good point! I wasn't really thinking along those lines.
Processing doesn't really come in to play, cause that's only for the IDE. But, yes the arduino IDE makes the most sense to stay under GPL.
Correct me if I'm wrong, but just using gcc to compile your code doesn't mean you have to release your code.
AVRDUDE is under a BSD license, but I see AVRDUDE much like a compiler. It's difficult to imagine that it would restrict arduino core & libraries from being released under any license they choose. In fact, they should be able to release it under multiple licenses.