Index: arch/l4/Kconfig
===================================================================
--- arch/l4/Kconfig     (revision 25)
+++ arch/l4/Kconfig     (working copy)
@@ -235,6 +235,26 @@
        help
          Support for (virtual) TPMs provided by the L4 service STPM of TUD:OS.
...
+
+config PCI_GENODE
+       bool "Genode PCI"
+       depends on PCI
+       default y
+       help
+         Use (para-)virtual PCI bus.
+


--- arch/l4/Makefile    (revision 25)
+++ arch/l4/Makefile    (working copy)
...

+ifeq ($(CONFIG_PCI_GENODE),)
 drivers-$(CONFIG_PCI)          += arch/l4/pci/
+endif