[X86] Fix incorrect/inefficient pushw encodings for x86-64 targets