[PATCH v3 4/5] ACPI / X86: remove usage of BAD_MADT_ENTRY