Re: [PATCH libdrm] INTEL: Add PCI ID support to RKL platform