Welcome to the new GCC configuration

Conflicts:
	BoardConfig.mk