[Bug 760077] sd card reader not recognized because of bad additional kernel module