[snvzz]

AIUI it doesn't, but there's nothing in the way of it, other than some board-specific porting work.

I believe by the standard boot process, opensbi would jump into uefi instead of u-boot.