[PATCH v5 3/5] ACPI / IA64: remove usage of BAD_MADT_ENTRY