Manpages of xserver-xorg-video-modesetting in Debian wheezy