AVX-512: fixed a bug in EVEX encoding (the bug appeared after r200624)