Re: [PATCH 07/11] drm/fbdevdrm: Add DRM <-> fbdev pixel-format conversion