Symbol: gicv3_fdt_match