Dont use ccache for kernel