After software update of the DE10-NANO-sd-card the HDMI-port seems to be damaged. Is that possible or there other options to reset that?

Thanks for your hints. But thats what I did. I did put a view different images to sd-cards and tried them. This sdcards boot, but don't give an output to the hdmi-screen. I can use ssh to connect to the board and get the linux shell. I can use it very well. Perhaps I will try also the Angstrom-distribution. Perhaps there is an application, which can reset some microcode for the hdmi-output? If I connect with ssh -X I can start the reference applications and they work fine with the remote X11-monitor. So I need a special application for hdmi-tests.