As far as I can see the Orion O6 board has a Cortex A720 r0p1. It seems that the firmware orion-o6-bios-1.1.0-1 does not include a workaround for erratum 3711910. It seems that TF-A v2.7 is used and v2.14/v2.15 introduced that. I also did not find the required instructions in the disassembly. Is it correct that this is missing?
The erratum sounds like it can cause strange behaviour on SMP. Is it possible to get an updated firmware?