Bug#912300: linux-image-amd64: SD card reader on Dell E7250 doesn't work in Debian Stretch

Package: linux-image-amd64 Version: 4.9+80+deb9u6 Severity: normal There is a known issue on 4.x kernels for this device: 01:00.0 SD Host controller: O2 Micro, Inc. SD/MMC Card Reader Controller (rev 01) sdhci-pci :01:00.0: SDHCI controller found [1217:8520] (rev 1) Whenever we try to use t

Bug#912298: linux-image-amd64: SD card reader on Dell E7250 doesn't work in Debian Stretch

Package: linux-image-amd64 Version: 4.9+80+deb9u6 Severity: normal There is a known issue on 4.x kernels for this device: 01:00.0 SD Host controller: O2 Micro, Inc. SD/MMC Card Reader Controller (rev 01) sdhci-pci :01:00.0: SDHCI controller found [1217:8520] (rev 1) Whenever we try to u