CI: kernel: use ccache to speedup workflow