x86-64: correct AVX512F vcvtsi2s{d,s} handling