Hello Jean-Adrien,
I'm not an expert with dde_linux for ARM, but the genode-zynq repo [1] also uses a Linux 5.10 derivate from Xilinx [2]. Maybe you can find a hint how to tackle this issue there? The xilinx_linux port also includes the symbol.
grep -rn __irqchip_of_table contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/
contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/drivers/irqchip/irqchip.c:33:irqchip_of_match_end __used __section("__irqchip_of_table_end"); contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/drivers/irqchip/irqchip.c:35:extern struct of_device_id __irqchip_of_table[]; contrib/xilinx_linux-83ebf9354e4a56e442a5e63324e0b782150dc87f/src/linux/drivers/irqchip/irqchip.c:39: of_irq_init(__irqchip_of_table);
and genode-zynq uses this file in its SD card driver.
grep -rn irqchip repos/zynq/
repos/zynq/src/drivers/sd_card/zynq/source.list:18:drivers/irqchip/irqchip.c
[1] https://github.com/genodelabs/genode-zynq/blob/master/ports/xilinx_linux.por... [2] https://github.com/Xilinx/linux-xlnx/blob/xilinx-v2021.2
Happy hacking