Symbol: acpi_madt_gicv5_translator