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