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