x86: Correct EVEX to 128-bit EVEX optimization