BoardConfig: use GCC 4.6 toolchain