Kernel now build with 4.8 toolchain \
cf SaberMod

Change-Id: I00b1d5bddad593adcf99e4e0d961c6131f9a13e5