Hello,
it is great that this works, but since this is a 32 bit SoC, you should not run this in production as that release is probably a couple of years old by now.
As far as I know (I am not the biggest export on SBCs), there is still not support for the latest generation of the RPi SoCs in the upstream Linux kernel. Since it has also been very difficult to get hold of these devices, there has been very low demand to add it into IPFire.
A quick Google search shows that there is some more driver support in kernel 6.14 (IPFire is on 6.12 LTS), but it is still considered incomplete and experimental.