From: Joerg Roedel <joerg.roedel-5C7GfCeVMHo@public.gmane.org>

This patch fixes a bug detected with 32 bit Linux guests. There the
second try to reboot hangs the guest machine. It seems to be necessary
to fix all dataseg registers for 32 bit guests. This time with a patch
attached.

Signed-off-by: Joerg Roedel <joerg.roedel-5C7GfCeVMHo@public.gmane.org>

-- 
Joerg Roedel
Operating System Research Center
AMD Saxony LLC & Co. KG