Use linaro's gcc 4.8 toolchain to build the kernel