Correct /is4 encoding for EVEX instructions