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 ! :-)