Re: [PATCH v4 13/13] coresight: docs: Document etm4x timestamp interval option