Re: [PATCH 1/4] drm: Print pretty names for pixel formats