Re: [Linaro-acpi] [RFCv1 PATCH 0/7] Introducing ACPI support for GICv2m