The change to 'use_displaced_stepping' makes these
changes unnecessary.  GDB will not use displaced stepping
while recording or replaying.