I was just looking into kodi funnily enough. They do appear to have all down mix coefficients for 7.1 to 5.1 included as options.


Living Room Kit: 861v4+ID40, DSP7000, DSP5500, DSP5500HC, HD621
Bedroom Kit: F80
QNAP TVS-471, Roon, iPad Air2