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