Re: [PATCH 08/15] PCI: make device_type const