x86-64: respect MOVABS when choosing alternative encodings