The buffer size for trace messages is hard coded in DbgTracePort.h:
static const unsigned int s_cTraceBufSize = s_cMaxPortTagLength + s_cMaxPortTagLength + 1000; /*!< Max. number of characters of the hole printed message. */
The current size of over 1000 bytes would make the system crash if run on an Arduino Uno (with less than 1000 bytes of free RAM available.