applies workaround to nvptx bug for i1 kernel parameters,
fixes bug with ctaidx