use cfx-Toolchain 4.8 for kernel

Change-Id: Ie02976b19dc0a69b1abf9e389c81d84cb1c52901