diff --git a/x/installing/xorg-server.xml b/x/installing/xorg-server.xml
index 8057095001..7c816e089b 100644
--- a/x/installing/xorg-server.xml
+++ b/x/installing/xorg-server.xml
@@ -126,6 +126,18 @@
 
 <screen><userinput>patch -Np1 -i ../xorg-server-&xorg-server-version;-add_prime_support-1.patch</userinput></screen>
 
+    <para>
+      The <application>modesetting</application> driver is now included in
+      the tarball (since version 1.17). It needs to be fixed for 32-bit
+      machines (first command below), and for cards which do not support
+      the mouse pointer in hardware (second command below):
+    </para>
+
+<screen><userinput>sed -e '/\*\//a #define _FILE_OFFSET_BITS 64' \
+    -i hw/xfree86/drivers/modesetting/dumb_bo.c
+sed -e 's/ == -EINVAL//' \
+    -i hw/xfree86/drivers/modesetting/drmmode_display.c</userinput></screen>
+
     <para>
       Install the server by running the following commands:
     </para>