So I have two boards, and two images, both built with armbian-build. I built `current` on March 24th 2025 and HDMI and everything works great   I built one this week and there is no HDMI output.   Logs of the non-working one:   Apr 07 18:36:09 radxa-zero3 kernel: mmc2: new UHS-I speed SDR104 SDIO card at address 390b Apr 07 18:36:09 radxa-zero3 kernel: rk808-rtc rk808-rtc.4.auto: registered as rtc0 Apr 07 18:36:09 radxa-zero3 kernel: rk808-rtc rk808-rtc.4.auto: settin