Support Type 1 Hypervisor

It would be great to add option for loading a Type 1 Hypervisor (EL2).

I'm thinking Xen would be a great start. https://wiki.xenproject.org/wiki/Xen_ARM_with_Virtualization_Extensions/Ibox3399

I'm willing to contribute.

Cheers