Fix randomization patches to work with revised bitmap code.
[pintos-anon] / grading / vm / patches /
drwxr-xr-x   ..
-rw-r--r-- 3146 00random.patch