===TROUBLESHOOTING===

The fix can be found in [http://www.virtualbox.org/changeset/27248 r27248]. You can manually apply this fix after you installed the guest additions (but before you rebooted the guest!) by changing /usr/src/vboxvideo-3.1.4/vboxvideo_drm.c in your guest and then re-compile the kernel modules with {{{ /etc/init.d/vboxadd setup }}} . This fix will be included in the next maintenance release.