Use standard GCC for kernel