I while ago I was talking about issues with my SDCard, and I've just had a friend have some similar issues. Both these issues were fixed with setting the max frequency to 15MHz

config set sdcard maxfreq.khz 15000

This does end up making things a bit slower, but at least it works. The reported max of my card is 25Mhz. I'm concerned that the default is misbehaving. Is this a software issue? or is it a hardware issue?

//.ichael