HDMI Input audio not working with the last BSP kernel

Hello!

I'm new to this forum but i follow the SBC comunity for a long time. I have a Pine 64,  a bunch of raspberryies, 2 nanopies and some "japanese" arm64 tablet. Now i have bought a Radxa 5 Mini-ITX and i'm very happy with it. I was capable to compile ffmpeg with the rockchip extensions and exploit the RK3588 VPU and the NPU with face recognition. Now i was testing the HDMI Input of the board and unfortunaly discovered that the video is capturing just fine but i'm out of luck with the audio side. On the kernel 6.1.115 (last BSP at the moment i think) the recording device of the audio input is not visible in 

arecode -l

This is what i see:

**** List of CAPTURE Hardware Devices ****
card 4: rockchipes8316 [rockchip-es8316], device 0: dailink-multicodecs ES8316 HiFi-0 [dailink-multicodecs ES8316 HiFi-0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

But the hdmi input audio card is still found under /proc/asound/cards:

root@rock-5-itx:~# cat /proc/asound/cards
 0 [rockchiphdmi1  ]: rockchip-hdmi1 - rockchip-hdmi1
                      rockchip-hdmi1
 1 [rockchiphdmi0  ]: rockchip-hdmi0 - rockchip-hdmi0
                      rockchip-hdmi0
 2 [rockchiphdmi2  ]: rockchip-hdmi2 - rockchip-hdmi2
                      rockchip-hdmi2
 3 [rockchiphdmiin ]: rockchip-hdmiin - rockchip-hdmiin
                      rockchip-hdmiin
 4 [rockchipes8316 ]: rockchip-es8316 - rockchip-es8316
                      rockchip-es8316
 5 [rockchipspdiftx]: simple-card - rockchip,spdif-tx1
                      rockchip,spdif-tx1

Furthermore if i go under /proc/asound/pcm:

root@rock-5-itx:~# cat /proc/asound/pcm
00-00: rockchip-hdmi1 i2s-hifi-0 : rockchip-hdmi1 i2s-hifi-0 : playback 1
01-00: rockchip-hdmi0 spdif-hifi-0 : rockchip-hdmi0 spdif-hifi-0 : playback 1
02-00: rockchip-hdmi2 spdif-hifi-0 : rockchip-hdmi2 spdif-hifi-0 : playback 1
03-00: rockchip-hdmiin i2s-hifi-0 :
04-00: dailink-multicodecs ES8316 HiFi-0 : dailink-multicodecs ES8316 HiFi-0 : playback 1 : capture 1
05-00: fe4f0000.spdif-tx-dit-hifi dit-hifi-0 : fe4f0000.spdif-tx-dit-hifi dit-hifi-0 : playback 1

So the HDMI Input is still found (rockchip-hdmiin) but is not exposing any playback or capture jack

So i tried to investigate and found that rockchip as changed the sound driver at some point as i found out here: https://zhuanlan.zhihu.com/p/664345417 (Link in Chinese)

(I don't know if i can post link so let me know)

Now i found that if i manualy install the 6.1.75 Kernel i found the device and i am able to record the audio:

root@rock-5-itx:~# arecord -l
**** List of CAPTURE Hardware Devices ****
card 0: rockchiphdmiin [rockchip-hdmiin], device 0: rockchip-hdmiin i2s-hifi-0 [rockchip-hdmiin i2s-hifi-0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 1: rockchipes8316 [rockchip-es8316], device 0: dailink-multicodecs ES8316 HiFi-0 [dailink-multicodecs ES8316 HiFi-0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

Anyone can't test this? Maybe is for all the RK3588 or only the Radxa 5 ITX.