use 4.8 toolchain for kernel

Change-Id: I63b5460d22f4238d65ce498e56cda866051e9a09