Booting ARM using EFI

From Xen

The work to boot Xen Project on ARM using EFI is coming together for 4.5.

See the following reference documentation for more information: