tenstorrent-dkms_2.5.0_all.deb may contain 2.5.0-rc1, but this is not reflected in the filename.
/usr/src/ has tenstorrent-2.5.0 not tenstorrent-2.5.0-rc1 - possible risk of conflict when upgrading from -rc1 to the final release.