https://bugzilla.kernel.org/show_bug.cgi?id=201497
--- Comment #19 from xavier B (xavierb@gmail.com) --- hi!
I had this issue for a longtime. And then, I recently got a new hdmi cable and never had the error since!
(or at least symptoms of it: the pc having trouble to enable the display after a warm reboot, and having to do a 'really' cold reboot by turning the pc off for a few minutes to get it back. I haven't been checking the logs extensively since it now works...)