[U-Boot] U-boot SDHC driver on IMX31 PDK

Hi,

Is there a way to access a SD/MMC card from uboot using the FAT32 file system on the mx31 3stack/pdk board. In other words, does it have the minimal SDHC driver support . FAT32, i guess, has been an integral part of the uboot mainline since quite some time.

Thanks, Alfred.