Oh, for sure lawyers would be pissed, but DRM was cracked multiple times and ended up in distributions. H264 is patented and still linux distributions can use it. CDs and DVDs were ripped with opensource software after their encryption was cracked (master key retrieved from CD/DVD players) and that was also distributed in order to play them. Popcorn Time was hosted on github for a good while. There are many examples.

If HDMI2 were leaked, I'm confident it would end up in a linux distro and there isn't much the lawyers could do. They could play whack a mole to take down the domains hosting it, but then somebody would just out it on a torrent or host it in a country that give a fuck about the lawyers and that would be that.