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