kernel: re-add ccache call that was previously removed

Change-Id: Ib6476c3193321b680b2814c275ae09550c415a1d