Update kernel compiled with linaro toolchain 4.8