Comment 41 for bug 1057089

@Luis: Thanks a lot for the explanation. I will try to do that after the next kernel update. (Currently running the mainline kernel provided by Adam, and it generally works fine, including the card reader.)