Change gcc for kernel