Lots of good code has landed in the OpenBSD code base to support the VF2 board in the last month (next official release, 7.4, should be in October) that code might help with a FreeBSD port. I do not know if you saw this post I made.
And @rpx did manage to install one of the recent OpenBSD snapshots (a fresh OpenBSD snapshot lands nearly every day) to work using EDK2 for their boot environment.