What steps should my friend take to get his entry stamp back on a new passport after losing his original one in Thailand?

A user from a community shared that after losing a passport while on a visa exempt entry in Chiang Mai, the individual needs to report the loss to the police. Once he receives a new passport, he should take both the new passport and the police report to the immigration office (ideally in the same province where he originally obtained his entry stamp) to have the entry stamp replaced.