Hi everyone, I'm trying to install Debian 12 (Bookworm) on my UDOO X86, and I'm running into some frustrating issues, specifically with the HDMI video output. I've followed the standard installation procedures, but after the OS is installed and I reboot, I'm consistently getting no signal on my monitor when connected via HDMI. I've tried a few different HDMI cables and monitors to rule out hardware issues on that front. Has anyone successfully installed Debian 12 on their UDOO X86 and encountered similar problems? If so, what steps did you take to resolve them? Any advice on specific drivers, BIOS settings, or boot parameters that might need adjustment would be greatly appreciated. I'm currently using [mention your specific UDOO X86 model if you know it, e.g., "UDOO X86 Ultra"] and I've already checked the UDOO documentation but haven't found a solution for this particular Debian version. Thanks in advance for your help!