How can I get audio through DisplayPort on Lenovo m92p?

This used to work fine on 23.05, but now I can’t get any audio out on the DisplayPort, on 24.11.

I have a Lenovo m92p.

To start simple

$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: PCH [HDA Intel PCH], device 0: ALC662 rev3 Analog [ALC662 rev3 Analog]
  Subdevices: 0/1
  Subdevice #0: subdevice #0
card 0: PCH [HDA Intel PCH], device 3: HDMI 0 [SONY TV]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

I can’t hear anything if I try to play on device 3 here.

speaker-test -D plughw:0,3 -c 2

EDIT: ok, this seems to be a Kodi issue. If I don’t start Kodi, the speaker-test is ok. Kodi is using PipeWire and I suspect that is the issue now. I will see if I can get Kodi to use PulseAudio.

EDIT2: ok, I got this to work now, by disabling PipeWire. I also had to log in via SSH and set the output to be HDMI in ncpamixer.

I might be wrong in assuming this won’t work with PipeWire. I also have to note that since I run Kodi as a service under the kodi user, I had to ssh in as Kodi. (for posterity).

I will have to test some more and report back