Re: [PATCH 12/20] drm: drop DRM_DEBUG_CODE