hammerhead: compile kernel using linaro 4.8 gcc

Change-Id: I8c3244cdc783f33065489911e92abbae9c61cb46