fix CFLAGS_KERNEL for toolchain 4.8