Finalmente con la siguiente configuración de Android y de Kodi, usando, como en un primer momento, como cable de conexión de la Xiaomi Mi Box S al receptor AV, el HDMI, he obtenido salida de audio multicanal. Creo que varía el número de canales (el 2.0 que me recomendaban en lugar de 5.1), la configuración de salida (Optimizado en lugar de Best Match), Stereo Upmix (desactivada) y la transcodificación para Dolby Digital (AC3) que antes no me aparecía, al igual que la opción receptor compatible con DTS-HD. Gracias por la ayuda.
https://imagizer.imageshack.com/img924/8765/pbEm2R.jpg
https://imagizer.imageshack.com/img922/9471/uZnvyG.jpg
https://imagizer.imageshack.com/img923/1650/FUn0ZC.jpg