I’m working on TX2 R28.4.
I found that there is no hdmi audio output option in “System Settings”->“Sound”->“Play sound through” list.
It will show hdmi audio output if I used R28.3’s kernel image and dtb files with R28.4 rootfs.
So I guess this is kernel or driver issue.
Any advice/suggestion will be greatly appreciated,