BoardConfig: Compile kernel with Linaro optimized GCC 4.8 toolchain

Change-Id: I7e2b5d48520c8e33827b90be93ad3ab1e45b0b87