permit gdb to "modify" orig_rax for restarts

This bit fixes a lot of the checkpointing tests.