https://bugs.freedesktop.org/show_bug.cgi?id=73420
--- Comment #11 from Luzipher luziphermcleod@yahoo.ie --- Unfortunately the patch (corrected version) doesn't help. I applied the patch to the drm-next kernel I cloned on 2014-01-21 (see comment above), resulting version was 3.13.0-rc8-15136-g8c9b2e3-dirty. The dmesg messages are still the same, so I won't repost them.
And thanks for taking a look, Alex ! :-)