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