Really make it safe to call printf() from any context.
[pintos-anon] / doc /
drwxr-xr-x   ..
-rw-r--r-- 17869 filesys.texi
-rw-r--r-- 299 projects.texi
-rw-r--r-- 24616 threads.texi
-rw-r--r-- 30394 userprog.texi
-rw-r--r-- 28064 vm.texi