Thanks, I’ll download the new one and see if it fixes the problem on my PiTop CEED with the Tinkerboard/s in it.  I’m currently using a patched version from azq2 who originally reported this and it fixed my HDMI issues with that setup.