Index: head-2006-03-06/drivers/xen/Kconfig
===================================================================
--- head-2006-03-06.orig/drivers/xen/Kconfig
+++ head-2006-03-06/drivers/xen/Kconfig
@@ -35,7 +35,9 @@ config XEN_UNPRIVILEGED_GUEST
 	default XEN_PRIVILEGED_GUEST
 	help
 	  The PCI device backend driver allows the kernel to export arbitrary
-	  PCI devices to other guests.
+	  PCI devices to other guests. If you select this to be a module, you
+	  will need to make sure no other driver has bound to the device(s)
+	  you want to make visible to other guests.
 
 choice
 	prompt "PCI Backend Mode"
Index: head-2006-03-06/drivers/xen/pciback/pci_stub.c
===================================================================
--- head-2006-03-06.orig/drivers/xen/pciback/pci_stub.c	2006-03-07 11:34:12.000000000 +0100
+++ head-2006-03-06/drivers/xen/pciback/pci_stub.c	2006-03-09 11:01:27.913227992 +0100
@@ -378,7 +378,7 @@ static int __init pcistub_init(void)
 
 static int __init pciback_init(void)
 {
-#ifndef MODULE
+#ifdef MODULE
 	int err;
 
 	err = pcistub_init();