I just assumed they could tell that the world was getting close to just switching to DP if they kept making hdmi inconvenient, so the choice is be convenient or be irrelevant.

I don't mean that specifically the linux kernel mattered so much to them, but in general for consumers (product makers) all up and down the line.