Add a xref debug helper function to ram-migration.idc