Xen ARM with Virtualization Extensions/OdroidXU