CM3588 with BSP 6.1 vendor kernel: no hdmi output

Hi Joshua, I've installed Arch Linux ARM on the eMMC of the Friendlyelec CM3588 NAS Kit with edk2-rk3588 UEFI on the SD card and enabled the 7Ji repository. Then I installed different kernels packages and I am able to select the kernel I want in a systemd-boot menu (after adjusting the device tree setting mainline/vendor in UEFI menu): ``` core/linux-aarch64 6.13-2 The Linux Kernel and modules - AArch64 multi-platform 7Ji/linux-aarch64-rockchip-bsp5.10-joshua-git 5.10.209.r1089415.ga2d0e7d7-1 The linux-rockchip kernel, with patches picked by Joshua Riek focusing on RK3588 7Ji/linux-aarch64-rockchip-bsp6.1-joshua-git 6.1.75.r1272343.7725578f-1 The linux-rockchip kernel, with patches picked by Joshua Riek focusing on RK3588 ``` HDMI console output for mainline 6.13 and the old BSP 5.10 kernel are working. However, I don't get any output when booting the BSP 6.1 kernel. The dmesg output shows some kernel crashes and memory dumps regarding the CPU and also this message related to HDMI: ``` [ 17.112629] phy phy-fed70000.hdmiphy.9: Looking up phy-supply from device tree [ 17.112639] phy phy-fed70000.hdmiphy.9: Looking up phy-supply property in node /hdmiphy@fed70000 failed [ 17.112706] rockchip-hdptx-phy-hdmi fed70000.hdmiphy: failed to register clock: -12 [ 17.112725] rockchip-hdptx-phy-hdmi: probe of fed70000.hdmiphy failed with error -12 ``` Has the HDMI output issue not being fixed already? Here is the full dmesg output: [6.1.75-rockchip-g7725578fd0ae-dirty.log](https://github.com/user-attachments/files/19043139/6.1.75-rockchip-g7725578fd0ae-dirty.log) EDIT: Booting with a device tree base override `/boot/dts/base/rk3588-nanopc-cm3588-nas.dtb` copied from the `/boot/dtbs/linux-aarch64-rockchip-bsp6.1-joshua-git/rockchip` directory enables the HDMI output for the BSP 6.1 kernel. Does the boot loader not automatically select the correct device tree from the dtbs directory? Here is the full dmesg with dtb override: [6.1.75-rockchip-g7725578fd0ae-dirty-dt-base-override.log](https://github.com/user-attachments/files/19043703/6.1.75-rockchip-g7725578fd0ae-dirty-dt-base-override.log)