Documentation: x86: convert pat.txt to reST