XEN PVHVM + PAX_MEMORY_UDEREF + PAX