On Sat, 28 Dec 2019 21:58:03 +0000
John Pilkington wrote:
https://bugzilla.redhat.com/show_bug.cgi?id=1784839 ?
Reported to be fixed in kernel-5.4.5-300.fc31.x86_64; 5.3.15 still
works for me in fc30.
By golly, that's it sure enough. Booted 5.3.15-300, and HDMI
audio is flawless. Thanks for the pointer! (Naturally between
the time I switch to the new computer and moved the video card
I got a kernel update or I would have seen this on the
old computer as well :-).