fix a bug in process.c
Merge branch 'dev_cx' of https://github.com/cxm917/pintos into dev