I don't have your system, I do not know much about logs.
But, in case no one answers you.
On my Intel nuc, I see my Onkyo listed under audio. But you don't see your amp?
Try different hdmi cable?
When you select hdmi, do you select passthrough?
Not ideal, but you can quickly convert mp4 to mkv using mkvtoolnix