Revert the bitmap randomization change, which had the side effect of
[pintos-anon] / src / lib / kernel /
drwxr-xr-x   ..
-rw-r--r-- 9658 bitmap.c
-rw-r--r-- 1809 bitmap.h
-rw-r--r-- 3727 console.c
-rw-r--r-- 157 console.h
-rw-r--r-- 1016 debug.c
-rw-r--r-- 11718 hash.c
-rw-r--r-- 3821 hash.h
-rw-r--r-- 14787 list.c
-rw-r--r-- 5863 list.h
-rw-r--r-- 128 stdio.h