Linaro GCC 4.8.2 to allow kernel boot

This may support to be able to boot
Thank to Keff