VEX.vvvv[3] is ignored in 32b mode when encoding mask regs
VEX.vvvv[3] is ignored in 32b mode when encoding mask regs

Change-Id: I40e0a3e6d66d803b7c389297882d987cf795c485
(cherry picked from commit 6aa002f539253e03d87fd96d0a0e7f14604dcdab)

intelxed/xed,intelxed/xed,intelxed/xed,intelxed/xed