[PATCH libdrm 0/4] intel: rework how we add PCI IDs