Use one lock in console.c and re-Deputized i386/page_alloc.c
-rw-r--r-- 205 .gitignore
-rw-r--r-- 1115 CODING
-rw-r--r-- 4356 GNUmakefile
drwxr-xr-x - doc
drwxr-xr-x - gccinclude
drwxr-xr-x - kern
drwxr-xr-x - scripts
drwxr-xr-x - user