Fix bug in encoding of VEX instructions with 4 operands