Just plug the SD Card into the USB Port with the GCC image.
I was using the PI.
But, I should be able to install a USB on the Core Board with minimal effort,

  • with the same result.