All good then 
Watch out for the lens ratios from fully wide to fully zoomed, as long as somewhere in it’s range it provides a ratio that suits your screen size 
I’d be very interested to know more about the HDMI output on your Kodi machine if you’re lucky enough to have a true bit stream output.
As I’d like to add something like a Kodi media player to my rig.
If one of those downloadable Dolby Atmos files plays you should be fine.
You might want to try looking at the source information on the Denon to see if it detects the audio as Dolby Atmos.
Currently your amp will try it’s best to give you an Atmos type experience.