Symbol: acpi_madt_gic_its