Bug #2467: live migration in xen4

(cherry picked from commit 563168e1ebe37812951e3a33bb77f4eaf644970e)