Set vcpu context on 32-bit PV Xen domains as well
Merge pull request #144 from tklengyel/pv32_setvcpureg

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