Minor improvements to Python x86_64 module
Fix instructions with multiple encodings in x86_64 XML