Re: [PATCH 02/15] drm: make device_type const