Symbol: gic_acpi_identify