[PATCH] drm: do not use device name as a format string