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