AT91: Add SD/MMC controller support

Hi.

I see that "[PATCH v2] AT91: Add SD/MMC controller support" and "[PATCH v3] AT91: Add SD/MMC controller support" adds the possibility (I suppose) to use the SD card inside the U-BOOT also for my board based on Atmel at91sam9263. But these patches also integrate the mmc commands (like mmcinit and fatload) inside the U-BOOT? Or there is another patch or system to integrate them?

Thank you very much! Valerio