En me connectant à un domU depuis mon dom0 j'ai vu apparaitre une multitude message avec 4gb seg fixup, process ...
Pour résoudre ce problème il faut taper ça depuis le dom0:

#echo "hwcap 0 nosegneg" > /etc/ld.so.conf.d/nosegneg.conf

puis un petit ldconfig pour appliquer tout ça.