I've hit the same problem... Thank you for pointing out the relationship with HDMI; I'm seeing this too (and it would never have occurred to me to think this is related, but as far as I can see on mine it does seem to not be happening with no HDMI cable; how weird). I've opened https://bugzilla.kern...