Switch ARM platform toolchain to GCC 4.8.

Change-Id: If08cfb2b9d86c08d3b658470440242b0af4d9916
2 files changed