This seems to work okay now with the proposed kernel 3.5.0.24 #37.
I tested this on an E535 and all SD/SDHC/MMC cards worked when inserted.
This seems to work okay now with the proposed kernel 3.5.0.24 #37.
I tested this on an E535 and all SD/SDHC/MMC cards worked when inserted.