Change Arduino board manager add-on name
Change Arduino board manager add-on name

Change-Id: I8bda5e0d16826f7dd80c392479af7203776351c7
GitOrigin-RevId: 9629266263fec15afe674721c17c55db20f33218

google-coral/coralmicro,google-coral/coralmicro,google-coral/coralmicro,google-coral/coralmicro,google-coral/coralmicro