adjusted ccache settings for kernel