default.xml: back to GCC 4.7, but Linaro's version