Remove all usage of printf() from the OS. That is not an acceptable context...

Remove all usage of printf() from the OS.  That is not an acceptable context for the use of an application-oriented interface that depends on a task-specific file descriptor and C buffered I/O.