PCI: point people to Bernhard instead of the linux-kernel list