Symbol: acpi_table_madt