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