I have a DVSK board(Picozed, QSPI+eMMC ). And download u-boot-xlnx-xilinux-v2015.4, using different config to build uboot, It's get different result.
1）make zynq_picozed_defconfig to build uboot, and create boot image, download to QSPI flash. The uboot can recognize the eMMC flash and cannot using sf command. The detail info:
U-Boot 2015.07 (Jun 20 2016 - 13:55:28 +0800)
2）make zynq_zed_defconfig to build uboot, The uboot can recognize the SPI flash and cannot using mmcinfo command. The detail info: