AVX512: kadd implementation