Set vcpu context on 32-bit PV Xen domains as well

The existing function missed actually setting the context via xc_vcpu_setcontext.