BoardConfig: Compile kernel with Linaro GCC 4.8 toolchain

Change-Id: Ic4cab720561f040d35a32dd5da4536e9a15aa462