NAME
	KPrintF - print formatted data to the console
	          (defaults to the serial port at 9600 baud)
   SYNOPSIS
	KPrintF("format string",values)
	         A0             A1
   FUNCTION
	print a formatted C-type string to the console.  See the
	exec RawDoFmt() call for the supported % formatting commands.
   INPUTS
	"format string" - A C style string with % commands to indicate
	                  where paramters are to be inserted.
	values - A pointer to an array of paramters, to be inserted into
	         specified places in the string.
	KPutFmt and KPrintF are identical assembly interfaces that want the
	two pointers in registers.  _KPrintF and _kprintf are C interfaces
	that expect the format string pointer on the stack, and the
	paramters on the stack above that.
   SEE ALSO
	exec.library/RawDoFmt, any C compiler's "printf" call.