BoardConfig: build kernel with Linaro Cortex-A8 optimized toolchain

Change-Id: If2796a50697c0eac05ca318aa13d93c14826d547