Problem Flashing TK1 on Ixora

I am having trouble flashing a TK1 image on an Ixora board using the procedure: http://developer.toradex.com/knowledge-base/flashing-linux-on-tegra-modules

When I run setupdate, I get:

Apalis TK1 # run setupdate
MMC: no card present   
** Bad device mmc 1 ** 
Card did not respond to voltage select!
** Bad device mmc 2 **

The booloader for the TK1 is version U-Boot 2015.04 (Jun 28 2016 - 12:50:18)

Following the same procedure, I’ve successfully flashed a T30, using the same same SD card and the same Ixora carrier.

Any ideas?

Please have a look at the following errata document outlining why the uSD card slot on Ixora V1.0A won’t currently be working with Apalis TK1 V1.0 modules and how you may modify your Ixora to overcome this issue.

Alternatively you may of course use any other update media e.g. like Ethernet aka TFTP or a regular USB memory stick.

Thanks. USB works.