Use ccache for arm-none-eabi config