Rename printf.c to console.c to better explain its function.
Move puts() from lib to lib/{user,kernel} so it can take console lock.
lib_kernel_SRC += lib/kernel/list.c # Doubly-linked lists.
lib_kernel_SRC += lib/kernel/bitmap.c # Bitmaps.
lib_kernel_SRC += lib/kernel/hash.c # Hash tables.
-lib_kernel_SRC += lib/kernel/printf.c # Kernel printf().
+lib_kernel_SRC += lib/kernel/console.c # printf(), putchar().
# Filesystem code.
filesys_SRC = filesys/filesys.c # Filesystem core.