BPI-R64 FreeBSD

Hello, I got my hands on BananaPi-R64, I managed to build my own U-Boot, which works, but I would need advice on whether U-Boot can also be used to boot FreeBSD into BananaPi-R64. In Does Banana pi R64 have efi support? - #3 by deema @frank-w mentioned that “afaik you can create efi environment using uboot…and r64 is arm64/aarch64”. Could someone explane to me, or better yet, show me a procedure on how to achieve this? I used to use a device called APU with FreeBSD as a router at home, for security reasons, but it’s been discontinued and the BananaPi-R64 looks like a great piece of hardware and I’d like to use it as a router at home on FreeBSD. I’d be very grateful for any advice. Many thanks.

With freebsd it is the kernel which is different. It needs a lot of porting before it runs bpir64