Re: [Linaro-acpi] [PATCH v4 10/10] irqchip / gicv2m: Introducing gicv2m_acpi_init()