Revert "gdb/record_full: add ptid entry for history." This reverts commit b8524f61e398072f83938fb805f377f22198f9a9. It was pushed by mistake with an unrelated patch.