BoardConfig: use 4.8 toolchain for kernel