fixed bugs in creating restarted process address space