x86: do away with is_evex_encoding()