#kprintf()
This message turned up in search, but its forum couldn’t be identified from the original transcript, so it may not be linked into its thread.
Someone else replied to me that it's part of the debug code, and
prints just like printf() except to the serial port for use by an external
terminal.