Hook up vector int_ctlz for AVX512.