x86: AVX-512 support