Switch of set gcc for kernel