Revert "BoardConfig: back to GCC 4.7, but Linaro's version"

This reverts commit 7d0cb29be7c1ccb1c9accfc4dd9fda8844d0f062.