This bug was fixed in the package xen - 4.1.2-2ubuntu2.2
--------------- xen (4.1.2-2ubuntu2.2) precise-proposed; urgency=low
* upstream-24883:adcd6ab160fa x86/mm: Don't check for invalid bits in non-present PTEs. Cherry-pick from xen-4.1 unstable to fix corrupted page table issues observed on 32 bit guests (LP: #1023365). -- Stefan Bader <email address hidden> Tue, 10 Jul 2012 19:48:15 +0200
This bug was fixed in the package xen - 4.1.2-2ubuntu2.2
---------------
xen (4.1.2-2ubuntu2.2) precise-proposed; urgency=low
* upstream- 24883:adcd6ab16 0fa
x86/mm: Don't check for invalid bits in non-present PTEs.
Cherry-pick from xen-4.1 unstable to fix corrupted page table issues
observed on 32 bit guests (LP: #1023365).
-- Stefan Bader <email address hidden> Tue, 10 Jul 2012 19:48:15 +0200