Draft: linux 6.13

This will probably break hdmi on rk3588:

11:45 < josch> minute: for 6.13 I have to adjust 4000-mnt-rk3588-dual-hdmi-qp-rockchip.patch: 
11:45 < josch> https://paste.debian.net/hidden/f4890f06/
11:45 < josch> the biggest difference is, that RK3588_HDMI0_LEVEL_INT is no longer used but they just 
               pass HOTPLUG_DEBOUNCE_MS which is 150 unconditionally
11:46 < josch> maybe that's a meaningful difference of the patch stack to look at in case hdmi stops 
               working on 6.13
11:55 < josch> and 4001-mnt-rk3588-dual-hdmi-vop2-pll.patch looks like it needs to be reworked completely