x86/xen: don't assume %ds is usable in xen_iret for 32-bit PVOPS.