Re: [PATCH] drm/pci: Unexport drm_get_pci_dev