I just purchased the MicroZed with I/O Carrier Card and I'm looking for the boot.bin image to copy to the SD card. The flyer that comes with the cards state to go to: www.microzed.org to download the reference design from: Products->I/O Carrier Card->Reference Designs & Tutorials, download Base_IOCC_Design.zip. I can't find this file anywhere. Does anyone know where I get download this? Thanks.