Re: [PATCH] Documentation: coresight: fix `make refcheckdocs` warning