Revert "BoardConfig: build kernel with GCC 4.8 toolchain"

This reverts commit 013cc847d4931e25eeeef465750d0b8da9b71297.