correct constraint on mirage-net-xen