Added support for outputting text messages to debugger via ARM DCC