I just used the tool TI_SDCard_boot_utility_v1_0 in /Tools/