Re: [Linaro-acpi] [PATCH 03/11] irqchip / GIC: Add GIC version support in ACPI MADT