Symbol: acpi_madt_rintc