Re: [Linaro-acpi] [PATCH v4 14/18] ARM64 / ACPI: Add GICv2 specific ACPI boot support