Zynq-7000 Zybo board as a 8GB SD card device