Re: [PATCH] Documentation: coresight: Update the generic device names