Re: [PATCH 02/10] drm: drm_printer: Add printer for devcoredump