Build kernel with 4.8 toolchain

Change-Id: I95b3c284e2b873186118b48d0779c42b77fdcc80