[PATCH v4 2/2] ACPI / ARM64 : use the new BAD_MADT_GICC_ENTRY macro