Don't read syscall number on syscall-return-stop
Don't read syscall number on syscall-return-stop

Apparently the orig_eax can get reset during syscall. Only actually
happened to me during execve() while running under User-Mode Linux.

Fortunately this is not needed now that we handle execve differently. We
can be sure that we come out of the syscall we came in previously.

JosuaKrause/reprozip,ViDA-NYU/reprozip,JosuaKrause/reprozip,JosuaKrause/reprozip,ViDA-NYU/reprozip,ViDA-NYU/reprozip,ViDA-NYU/reprozip,ViDA-NYU/reprozip,JosuaKrause/reprozip