Re: [Linaro-acpi] [PATCH v4 0/2] Correct for ACPI 5.1->6.0 spec changes in MADT GICC entries