Enable Xen in pxegen.py. Possibly fixes #639