[Linaro-acpi] [PATCH v3 1/8] irqchip / GIC: Add GIC version support in ACPI MADT