Hi Joerg, as advised I've blacklisted sdhci-acpi and run "mkinitrd" after this. No change, sdcard reader still not detected. I additionally looked in my BIOS settings, as I didn't know that ACPI is doing anything more than controlling/managing energy saving levels: "ACPI autoconfiguration" is set to false. As this the only option to avoid hibernation, whch I don't want. There's another undocumented/unknown option "Lock ACPI-legacy resources", which was set to disabled. I've set it to "enabled", but also no change. dmesg-899633-16.08.12.txt attached, as requested.