Yes, but he also brought the RPi5 into play and made statements about v9.8.0 that the images no longer boot on any system. Which is simply not correct. RPi5 was just one example.
We still have to find out why the Radxa Rock 3A does not boot. But to do this it would need a serial adapter, which he does not have. So we don’t know what exactly the problem could be. Could be the kernel, u-boot or something similar.