Well. I've now added "options sdhci debug_quirks2=4" to modprobe.d, and this seems to make it treat the card as "high speed" rather than "ultra high speed", which works, although at a poorer speed than theoretically possible.
I can attach and detach the card multiple times, and sleeping and waking the computer does not introduce a problem.
Well. I've now added "options sdhci debug_quirks2=4" to modprobe.d, and this seems to make it treat the card as "high speed" rather than "ultra high speed", which works, although at a poorer speed than theoretically possible.
I can attach and detach the card multiple times, and sleeping and waking the computer does not introduce a problem.
I have no idea what I am doing, though.