Build script: use the May release of Linaro GCC 4.8.1 optimized for Cortex-A8