My Receiver does not have HDMI input, Only SPDIF or Mch Analogue inputs, I could get a good 6ch analogue sound card for the Kodi box but I don't believe the difference will be audible, I'm a Hi-Rez audio skeptic!
It's not so much of a pain as I've written linux shell scripts to take Flac's, DVDA Iso's & SACD Iso's and automattically convert to DTS(sd) Wav's and also DTS(hd) AVCHD Iso's I can play on the BluRay players 192kHz analogue outputs
The world of discs I left behind along time ago
Since this thread is about playing MCH files, I’m going recommend you find an AVR with HDMI to play your hires lossless files. Honestly, I couldn’t think of anything worse than dealing with hundreds of discs, loading, shuffling. It’s just so eighties