[PATCH v4 1/2] address the case where there are multiple values for the same kernel arg