Bug #2467: live migration in xen4