creating a generic debug printf mechanism

[Kevin P. Lawton]

We need a printk() type of function which will work
in either host kernel or monitor mode.  I'm adding that
now.  Will allocate some more pages from the host
to print into.

-Kevin