Re: [PATCH v2] x86-64/Xen: fix stack switching