xen/mmu: Correct PAT MST setting.