use cfX-Toolchain 4.8 for kernel