Index: /trunk/doc/manual/en_US/user_AdvancedTopics.xml
===================================================================
--- /trunk/doc/manual/en_US/user_AdvancedTopics.xml	(revision 36984)
+++ /trunk/doc/manual/en_US/user_AdvancedTopics.xml	(revision 36985)
@@ -585,6 +585,8 @@
         </listitem>
         <listitem>
-            Your Linux kernel compiled with IOMMU support (including DMA remapping, see
-            <computeroutput>CONFIG_DMAR</computeroutput> kernel compilation option).
+            Your Linux kernel was compiled with IOMMU support (including DMA remapping, see
+            <computeroutput>CONFIG_DMAR</computeroutput> kernel compilation option). The
+            PCI stub driver (<computeroutput>CONFIG_PCI_STUB</computeroutput>) is required
+            as well.
         </listitem>
         <listitem>