Symbol: gicv3_fdt_attach_mbi