Add Linaro GCC 4.8 support