Use standar GCC for kernel