I am experiencing the same problem but when I tried your method, I start not to be able to run any program. when I try to, for example, " pintos -f -q", it gives only the following message in kernel:

PiLo hda1 Loading............
Kernel command line: -q run echo
Pintos booting with 4,096 kB RAM...
383 pages available in kernel pool.
383 pages available in user pool.

it constantly stucks here.

in addition, I can't pass the tests because I receive a timeout error when I run "make check" in src/userprog/build.

I returned to start point so I am unable to send the codes.

what else do I need to do ?