Xen ARM with Virtualization Extensions/Stout