I don't know if this is at all helpful http://processors.wiki.ti.com/index.php/Linux_Core_U-Boot_User%27s_Guide#Booting_Linux_from_SD_card_or_eMMC