Symbol: ACPI_TABLE_MADT