Update BoardConfig.mk

Revert to GCC 4.6 Google kernel toolchain