Re: [Linaro-acpi] [PATCH 10/38] ARM64 / ACPI: Introduce some PCI functions when PCI is enabled