I installed the 3.13.0-6.23 (https://launchpad.net/ubuntu/+source/linux/3.13.0-6.23) kernel which supposedly contains the fix and confirmed that the affected card reader (O2 Micro) indeed works properly afterwards.
I installed the 3.13.0-6.23 (https:/ /launchpad. net/ubuntu/ +source/ linux/3. 13.0-6. 23) kernel which supposedly contains the fix and confirmed that the affected card reader (O2 Micro) indeed works properly afterwards.