PCI: Fix up PCI power management doc