Re: [PATCH v4 02/10] coresight: core: add a new API to retrieve the helper device