x86: PAT documentation