Tweak to x86-64 instruction encoder.