Enable VREX for AVX512 directives