The article does not refer to HDMI output, but to HiDPI monitors, which relates to your issue.
Interestingly, Cinnamon is on that list. Which is what I am using and I have had no such troubles, in spite of our hardware being very similar. Could it be a Desktop Environment issue instead of a Kernel or Graphical driver issue? That seems plausible.



