The newer compiler used to make the debian/arch images emits a FENCE.TSO instruction which is not supported on the C906 implemented in the CV200x (and I suspect the CV180x as well although I don’t own one to test)
You need these patches for opensbi that will emulate the FENCE.TSO instructions: