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,