Orange Pi 5+ should we have switched kernel?

New kernel build is ready:

cd /tmp
wget https://dietpi.com/downloads/binaries/testing/linux-{image,dtb}-vendor-rk35xx.deb
dpkg -i linux-{image,dtb}-vendor-rk35xx.deb
reboot

If it does not work OOTB, try to load the kernel module manually (I don’t know the mechanism which does this automatically when matching devices are detected):

modprobe rtw89_8852be
ls -l