The step of enabling the setup in general is better a separate commit.
This was broken off of "xen/arm64: add xen platform".
Submitted by: Elliott Mitchell <ehem+freebsd@m5p.com>
Original implementation: Julien Grall <julien@xen.org>, 2014-01-13 17:40:58