Migrate Server 2008R2 on VMware to XEN (on Debian)