Re: [PATCH v2 11/44] acpi: mmc: Generate ACPI info for the PCI SD Card