[Bug 578061] pci_ids.h is not included in the linux-kernel-headers package