BoardConfig: build kernel with GCC 4.8 toolchain