Xen ARMv7 with Virtualization Extensions