I feel the header is a bit much here, especially since this is most likely a copy-paste of the GCC v4.6.x or v4.7.x easyconfig we already had... @fgeorgatos: Your view?