Re: Upgrade from FreeBSD-12.2 to FreeBSD-13.1 with xen-4.14.0 is not straightforward.

From: Brian Buhrow <buhrow_at_nfbcal.org>
Date: Thu, 02 Jun 2022 18:35:22 UTC
	hello Roger.  Yes, the handbook URL you sited,
https://docs.freebsd.org/en/books/handbook/virtualization/#virtualization-host-xen
would be a good place to document this requirement.  Also, I'm pretty sure you can now boot xen
and FreeBSD with UEFI support as well.  Is this correct?  If it is, then this should be
documented as well.

-thanks
-Brian