The fix can be found in [http://www.virtualbox.org/changeset/27248 r27248]. Add the lines in green as the location specificed. 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 and then re-compile the kernel modules with {{{ by executing this as root user.   /etc/init.d/vboxadd setup }}} . This fix will be included in the next maintenance release.