Symbol: acpi_madt_gicr