[Linaro-acpi] [PATCH v2 12/18] ARM64 / ACPI: Add GICv2 specific ACPI boot support