Re: [Linaro-acpi] [PATCH V6 00/13] Support for generic ACPI based PCI host controller