TMDSLCDK138: fail to boot TMDSLCDK138 from sdcard

Tool/software:

hi, 

I just got a TMDSLCDK138 OMAP-L138 EVAL board and I am trying to boot it through its sdcard. 

I first followed the procedure of booting up using a SD card image for  on Windows (omapl128-lcdk-linux-06.03.00.106.img) following the document - https://software-dl.ti.com/processor-sdk-linux/esd/docs/06_03_00_106/linux/Overview/Processor_SDK_Linux_Creating_a_SD_Card_with_Windows.html. I flashed the image using Win32 Disk Imager app on Windows. The sdcard shows up on a Windows PC with a disk name of 'boot', and there is only a single file  "u-boot-omapl138-lcdk.ais" on it. 

But the image fails to boot up:

U-Boot > boot
reading boot.scr

• • Unable to read "boot.scr" from mmc 0:1 **
    reading uImage

• • Unable to read "uImage" from mmc 0:1 **
    Wrong Image Format for bootm command
    ERROR: can't get kernel image!
    U-Boot > 
    U-Boot > mmc list
    davinci: 0

After that I followed the procedure of creating a SD Card image on Linux - https://downloads.ti.com/processor-sdk-linux/esd/docs/06_03_00_106/linux/Overview/Processor_SDK_Linux_create_SD_card_script.html. The procedure basically is running create-sdcard.sh  to create a sdard image. During the running of the script I tried both the options of " Install pre-built images from SDK" and "Enter in custom boot and rootfs file paths". But the procedure can create a sdcard image, but the board does not boot up with the sdcard.

I got the following error during bootup:

U-Boot > .NAND:  512 MiB
MMC:   davinci: 0
Bad block table found at page 262080, version 0x01
Bad block table found at page 262016, version 0x01

• • • Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
ARM Clock : 456000000 Hz
DDR Clock : 150000000 Hz
Net:   Ethernet PHY: GENERIC @ 0x07
DaVinci-EMAC
Hit any key to stop autoboot:  3 ... 2 ... 1 ... 0 
reading boot.scr

• • Unable to read "boot.scr" from mmc 0:1 **
    reading uImage

• • Unable to read "uImage" from mmc 0:1 **
    Wrong Image Format for bootm command
    ERROR: can't get kernel image!

Can someone point me to the right direction?

Thanks. Yinghua