Rename __AVX512__ to __AVX512F__