Make rdtsc replay interruptible. Allows gdb tests to be re-enabled.