[U-Boot] ARMv8: Use U-Boot to boot Xen?

Hi,

are there any U-Boot examples/patches to boot Xen on an ARMv8/aarch64 system?

I've found

http://lists.denx.de/pipermail/u-boot/2015-October/230077.html

what might be helpful.

But maybe I missed anything else?

Many thanks

Dirk