Build kernel and platform with 4.8-linaro gcc

Change-Id: I5cdf83318acb5d9679a15b795809aa8d8dd8d3b7