I don't know if that's the solution but it seems to me that it works (at least better than before)...
Add this to your GRUB-config:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash i915.i915_enable_rc6=0"
It disables HD4000s' power saving mode, which can't be the final solution, but perhaps it helps to find the reason for this bug.