This is already reported to the IRS by servicers via Form 1098.[1]
[1]: https://www.irs.gov/forms-pubs/about-form-1098