AVX-512: fixed a typo in builtin name