I believe the default image located in ./images at the end of a sel4test build contains a version of openSBI also. It expects to be loaded via a u-boot running in mmode that jumps into the new image that then sets up a new version of opensbi.
If you are loading via a different flow, eg expecting to load something into smode, then you would want the elfloader image to be what’s given to your opensbi to load.