RE: [PATCH 00/10] coresight: Add new API to allocate trace source ID values