Re: [Linaro-acpi] [PATCH v3 2/3] ACPI / ARM64: add BAD_MADT_GICC_ENTRY() macro