Symbol: ACPI_MADT_LOCAL_X2APIC_NMI