[X86] Pair a NoVLX with HasAVX512 to match the others and remove a unique predicate...