Re: [PATCH 15/18] drm: rip out dev->devname