Re: [PATCH v2 0/2] x86/xen: avoid 32-bit writes to PTEs in PV PAE guests