Re: [Linaro-acpi] [PATCH v4 01/10] irqchip / GIC: Add GIC version support in ACPI MADT