Comment 9 for bug 634487

Still chewing on this. DomU should send Xen a kernel, readonly PMD entry, but what Xen gets is a read/write user entry. I am working on reconciling what DomU thinks it did with what Xen sees.