tenderloin: BoardConfig.mk: Toolchain updates

Use a new 4.7-linaro toolchain optimized for A8 (the tenderloin cpu-arch)

Use a 4.8-linaro toolchain for platform.