Comment # 6 on bug 1168383 from Manfred Hollstein

(In reply to Takashi Iwai from comment #5)
> Now it's going to TW.  Let's close.
> 
> Manfred, if your problem persists with the latest kernel package in OBS
> Kernel:HEAD or Kernel:stable repo, it's likely a different problem.  If so,
> please open another bug report.  Thanks.

Just to report back, it's working for me, too. This is the latest kernel from
Kernel:stable, and HDMI via AVR works again:

$ rpm -q kernel-default-5.6.2-2.1.g7f2ce15.x86_64 --changelog
* Thu Apr 02 2020 tiwai@suse.de
- drm/i915/display: Fix mode private_flags comparison at
  atomic_check (bsc#1168383).
- commit a83dd8f

Thanks a lot!