build: Use gcc 4.7 toolchain for arm-eabi

GCC 4.8 causes D2 kernel to not boot, so use GCC 4.7 globally
for arm-eabi.

Change-Id: Ie0361668bcbf25e6fc5a41c7d84ada28ce3c6ea8