Use GCC for kernel