By digging the web deeper, I found that removing all modules, then giving the following command:
setpci -s 03:0b.2 4c=0x22
then inserting sdhci only (and not the tifm_* drivers) makes my sd cards work, and that's enough as a workaround. Notice that in the above comments it was
4c=0x02
which didn't work for me.
I would surely like this to be supported out of the box, on one hand, and the tifm drivers to support my reader on the other hand, because this should make cards different than SD work. I wait further instructions.
By digging the web deeper, I found that removing all modules, then giving the following command:
setpci -s 03:0b.2 4c=0x22
then inserting sdhci only (and not the tifm_* drivers) makes my sd cards work, and that's enough as a workaround. Notice that in the above comments it was
4c=0x02
which didn't work for me.
I would surely like this to be supported out of the box, on one hand, and the tifm drivers to support my reader on the other hand, because this should make cards different than SD work. I wait further instructions.