Add a license header to the AVX512 file.