Symbol: acpi_madt_walk