[Bug 899633] sdcard reader not detected: sdhci-acpi 80860F16:00: failed to setup card detect gpio