kernel: re-add ccache call that was previously removed