I'm pretty sure your legal analysis here is overly-simplistic, but we don't need to get into that.
Going back to the original topic, if somebody is trying to release open source drivers for HDMI (or a protocol compatible with HDMI), obviously trademark infringement is a possibility since both are in the exact same business. So even if you're right (which I don't think so), your argument doesn't apply.