The xen(4) man page Bugs section needs to be updated to specify that FreeBSD has supported being a xen host since 11.0 and supported UEFI booting since 14.0 per the documentation. This was noticed on version 14.2-RELEASE-p1.