Think it's the card reader firmware?
I'm surprised that at this date, there might still be trouble with the format.
Oh, and I think that there's some sort of kludge with the way that they used gdebi and the SD card reader -- they're linking to a compressed file on the SD card, which is, to my mind, just an ugly way to do it. But I understand why -- there's just 1 GB onboard, and they wanted to be able to add apps.
And they surely didn't want to give away 32 GB cards!
If it's not the firmware in the reader, then I suspect it will be solved. I'll certainly give it a try, (with an 8 GB SDHC card, first, so that if it doesn't work...

)
m a r
ps: any idea what to add for single-user mode USB keyboard? I'm running Mer right now, and I need to work at the command-line, but no keyboard makes that pretty hard...