Then, Kodi is decoding the DTS-HDMA track into LPCM and passing it to your receiver.
Since, LPCM, like DTS-HDMA is lossless, IMHO, this is perfectly okay assuming that Kodi is correctly decoding DTS-HDMA to LPCM without introducing artefacts of its own.